| 
|
Quote: a data type is ordered if it includes functions pred and succ
topics >
all references >
references a-b >
Topic:
data types in Thesa
Topic:
ordered data types
Topic:
data type as a set of operations
Quotation Skeleton
Let us say that a type is ordered … functions "pred" and "succ" which applied to an … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: data types in Thesa (92 items)
Topic: ordered data types (8 items)
Topic: data type as a set of operations (38 items)