Type signatures

name : Typeis a type signature, wherenameis the name of the term being defined andTypeis atypefor that term. Thenamegiven in the type signature and thenamegiven 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.