Crate delta_local_laws 

Local Laws

Re-exports

pub use verifiable;

Modules

macros

Macros for local laws.

Macros

entrypoint

Define the entrypoint of a local laws proof program.

require

Return a crate::LocalLawsError error with the given message when a condition is not met.

require_some

Return a crate::LocalLawsError error with the given message when an Option is None, otherwise return the inner value.

Structs

LocalLawsError

Local laws error.

LocalLawsSnafu

SNAFU context selector for the LocalLawsError error

Traits

LocalLaws

Local laws trait.