| opaque | type |
| Description | When a type T is exported from module, monitor or class M using the keyword opaque, the type M.T is distinct from all other types. Opaque types are used to guarantee that updates to values of the type are done within M.
|
| See also | module declarations for an example of an opaque type used to implement complex arithmetic. See also equivalence of types for the definition of the type matching rules for opaque types.
|