| 
|
Quote: a subtype declaration is opaque; a REVEAL clause introduces information about an opaque type into a scope
topics >
all references >
references c-d >
Topic:
opaque and partially-opaque data types
Topic:
data type by access rights
Quotation Skeleton
An opaque type declaration has the form: 'TYPE … … [p. 40 (2.4.7)] A revelation introduces information about an opaque … A partial revelation has the form: 'REVEAL T … A complete revelation has the form: 'REVEAL T … A revelation is allowed only in an interface … For example, consider: … 'INTERFACE IClass; IMPORT I; REVEAL I.T <: MUTEX; … An importer of ICLASS sees that every I.T … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: opaque and partially-opaque data types (14 items)
Topic: data type by access rights (20 items)