Schema

Predicate types

Each predicate type is listed with its definition and the test surfaces that use it.