| 
|
Quote: define data types by object creation function and field selectors
topics >
all references >
references g-h >
Topic:
data type as constructors, selectors, and predicates
Note
define data types by DATA ('complex (r,i)' ) where complex is object creation function eg c= complex (1,2) and r,i are field referencing functions eg r©==1
Topic: data type as constructors, selectors, and predicates (20 items)