Document E.^ syntax
Problem to solve
Described in detail in a mail from John.
Explained in this MR clean-and-itasks/clean-platform!553 (merged).
function_name :: E.^ type_and_attribute_variables : function_type
The type_and_attributes_variables
are a (non empty) space seperated list with
the following possibilities:
type_var
*type_var
.type_var
(attribute_var:type_var)
(attribute_var:)
Edited by Gijs Alberts