Crate delta_local_laws 

Local Laws

Re-exports

pub use verifiable;

Macros

entrypoint

Define the entrypoint of a local laws proof program.

Structs

LocalLawsError

Local laws error.

Traits

LocalLaws

Local laws trait.