So, two negatives make a positive, and if that satisfies you, then you are done!
This form of annotation is called a type annotation . For more information, see Type Annotations and Pluggable Type Systems .
COPYRIGHT DEVIQA SOLUTIONS 2017. ALL RIGHTS RESERVED.
Other specifications on which this one depends are listed in References (§K) .