AllOf

boolean

And

boolean

AnyOf

boolean

accumulateIsValid

Predicate

accumulateShow

Predicate

adapt

InferenceRule

allOfHConsPredicate

BooleanPredicates

allOfHNilPredicate

BooleanPredicates

alwaysInvalid

Predicate

alwaysValid

InferenceRule Predicate

andPredicate

BooleanPredicates

anyOfHConsPredicate

BooleanPredicates

anyOfHNilPredicate

BooleanPredicates

apply

InferenceRule Predicate Refine RefineLit

autoInfer

implicits

autoRefine

implicits