Next: Tuple types, Up: Other builtin types [Contents]
The predicate types are
pred, pred(T), pred(T1, T2), …
The function types are
(func) = T, func(T1) = T, func(T1, T2) = T, …
Higher-order predicate and function types are used to pass closures to other predicates and functions. See Higher-order.