name : Type is a type signature, where name is the name of the term being defined and Type is a type for that term. The name given in the type signature and the name 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.