function annotations allow additional information to be attached to a function definition; this information can be introspected by the system
function annotations are particularly useful for the Build System
Here are some example annotations:
myfunc(X) := X*2 myfunc(X) << [ arg(X): 'the number to be multipled' author: cjm comment: 'multiplies a number by two' ]
The following is also an annotation:
myfunc(X) <- 'foo'
There is no specific meaning attached to annotations of this form; different extensions may define meanings for this. (For example, in the Build system this is used to define dependencies)