Module predicate

Predicates

Types needed to represent a predicate.

Re-exports

• pub use encode::PredicateDecodeError;
• pub use encode::PredicateEncodeError;

Modules

• encode
  Encode and Decode Predicates

Structs

• Node
  A node in the graph.
• Predicate
  A program dependency graph.
• Program
  A program to be executed.

Enums

• Reads
  The state a program has access to.

Type Aliases

• Edge
  An edge in the graph.