Skip to main content

Module program

vole_document::dra

Module program 

Source
Expand description

Reconstruction program, coverage certificate, and bounded evaluation.

Structs§

CoverageMap
A coverage certificate: the map from output intervals to authorities.
Program
A bounded, ordered list of reconstruction instructions.
Span
One output interval and its authority.

Enums§

Authority
Who is the reconstruction authority for an output interval.

Constants§

DRA_VERSION
DRA version carried in the graph record.
MAX_OFFSET_SLOTS
Number of positional-offset slots addressable by Op::MarkOffset and Op::EmitOffset. Slot indices must be strictly below this bound.