Module predicate

essential_check::vm::types

Module predicate

Expand description

§Predicates

Types needed to represent a predicate.

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§

PredicateDecodeError: Errors that can occur when decoding a predicate.
PredicateEncodeError: Errors that can occur when encoding a predicate.

Type Aliases§

Edge: An edge in the graph.