name : Type
is a type signature, wherename
is the name of the term being defined andType
is atypefor that term. Thename
given in the type signature and thename
given 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.