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:
represents a contract member nominally identified with key and ascribed with the identified type Any.