name : Typeis a type signature, where
nameis the name of the term being defined and
Typeis atypefor that term. The
namegiven in the type signature and the
namegiven in the definition must be the same.
Type signatures are optional. In the absence of a type signature, Unison will automatically infer the type of a term declaration. If a type signature is present, Unison will verify that the term has the type given in the signature.