←
function
ideal
•
library
•
elements
• predicate
relation
→
A boolean-valued pure function.
concept
predicate
[contravariant
value
element
]
Declaration:
predicate
Announcements:
predicate
Direct supertypes:
function
All supertypes:
deeply_immutable
data
/
value
/
entity
Direct subtypes:
pattern
Use:
list
/
empty
/
base readonly list
/
base range
/
base string
←
function
ideal
•
library
•
elements
• predicate
relation
→