| 
|
Quote: allow anything to be part of a mode declaration, e.g., a field that returns the number of leading zero's
topics >
all references >
references t-z >
Topic:
Thesa data model
Topic:
data type as constructors, selectors, and predicates
Note
complete declaration of modes eg that x[??] is the count of leading zero's in x of type byte
Topic: Thesa data model (58 items)
Topic: data type as constructors, selectors, and predicates (20 items)