Module caml 

Re-exports

pub use internal_traces::caml::CamlTraces as CamlProverTraces;

Structs

CamlLookupCommitments

CamlProofWithPublic

CamlProverCommitments

CamlProverProof

Constants

_DERIVE_ocaml_FromValue_from_value_lifetime_FOR_CamlLookupCommitments 🔒

_DERIVE_ocaml_FromValue_from_value_lifetime_FOR_CamlProofWithPublic 🔒

_DERIVE_ocaml_FromValue_from_value_lifetime_FOR_CamlProverCommitments 🔒

_DERIVE_ocaml_FromValue_from_value_lifetime_FOR_CamlProverProof 🔒

_DERIVE_ocaml_IntoValue_FOR_CamlLookupCommitments 🔒

_DERIVE_ocaml_IntoValue_FOR_CamlProofWithPublic 🔒

_DERIVE_ocaml_IntoValue_FOR_CamlProverCommitments 🔒

_DERIVE_ocaml_IntoValue_FOR_CamlProverProof 🔒

Type Aliases

ProofTuple 🔒