opaque

#opaque

##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.html declarations for an example of an type used to implement.html complex arithmetic. See also equivalence.html of types for the definition of the type matching rules for types.