| 
|
Quote: need constructors and extractors for records; default values and tuple values
topics >
all references >
references g-h >
Topic:
data record
Topic:
data type as constructors, selectors, and predicates
Note
constructors and extractors of records by r1: RECORD [f1: real <-O, f2: boolean] then r1 <- [f2:true] (fl defaulted to O) or r1<- [,true] (or mixed) [r,b] <- r1 [f1:r, f2:b] <- r1
Topic: data record (57 items)
Topic: data type as constructors, selectors, and predicates (20 items)