| 
|
Quote: composing functions for assign and access yields a type retract whose range is all legal values for that type
topics >
all references >
references c-d >
Topic:
type retract
Quotation Skeleton
value extraction is defined by a function hold … (l) (v) (s) for v.memberOf.V (where V is … (1) (v) (s)) of type V->V) must be … is the set of values which may be … and Wirth '75). Google-1 Google-2
Copyright clearance needed for quotation.
Topic: type retract (12 items)