A type annotation has the forme:T
wheree
is an expression andT
is a type. This tells Unison thate
should be of typeT
(or a subtype of typeT
),and Unison will check whether this is true. It's a type error for the actual type ofe
to be anything other than a type that conforms toT
.