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

1. More about this term (beta): Web search, articles and videos, books
2. Previous term: Type predicate
3. Next term: Type selector
4. Random term: Spider