• A function that specifies a type predicate and returns a Boolean value.

1. Related terms: Type predicate, Generator function, Function, Type
2. Previous term: Type predicate
3. Next term: Type safety
4. Random term: Box model hack (webglossary.info/random 🎲)