Contract Members

A contract member is a type member that links an identifier to a type. It is used to force a type-check-ed structural value to define a concrete member with a specific identifier and type ascription.

It is represented by an identifier, a colon : and a type. For instance, the following snippet:

key: Any

represents a contract member nominally identified with key and ascribed with the identified type Any.