| 
|
Quote: Alphard's type declaration may include a list of necessary and sufficient operations
topics >
all references >
references t-z >
Topic:
data type as a set of operations
Note
in Alphard, <..> in a type declaration indicates necessary and sufficient operations for a type, e.g., <=> if requires =
Topic: data type as a set of operations (38 items)