essential_types

Module predicate

Expand description

§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.