Module dra 

The Document Reconstruction Algebra.

Re-exports

pub use op::Op;

pub use program::Authority;

pub use program::CoverageMap;

pub use program::DRA_VERSION;

pub use program::Program;

pub use program::Span;

Modules

op

DRA instruction set.

program

Reconstruction program, coverage certificate, and bounded evaluation.