• 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: Divitis (webglossary.info/random 🎲)