Methods
Pred
ΒΆ
Pred(t:
Type
)
Convert a type to a predicate.
Source:
stdlib.ngs:163
t
A type
Returns
A function that checks whether the only argument is of type t