| 
|
Quote: a data type is a predicate over an infinite set
topics >
all references >
references e-f >
Topic:
non-exclusive data type
Note
defines new type as a predicate over an infinite set
Topic: non-exclusive data type (16 items)