essential_check::types

Module predicate

Source
Expand description

§Predicates

Types needed to represent a predicate.

Modules§

  • header
    Predicate Encoding Headers

Structs§

  • Predicate
    An individual predicate to be solved.