Abstract type: Difference between revisions
m
→{{header|Standard ML}}: Completed closing tag.
imported>Acediast (→Interface: added explicit scope delimiters for COMPUTE) |
m (→{{header|Standard ML}}: Completed closing tag.) |
||
Line 3,243:
The act of giving a signature to a module is called ascription. There are two type of ascription:
Transparent (written <tt>:</tt>) and opaque (written <tt>:></tt>). If a structure is ascribed transparently,
none of the types are abstract. If it is ascribed opaquely, all types are abstract by default, but can be specified
explicitly in the signature, in which case they are not abstract.
| |||