Module predicate

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.

Reads

The state a program has access to.

Type Aliases

Edge

An edge in the graph.