_DERIVE_ocaml_FromValue_from_value_lifetime_FOR_CamlProverProof

kimchi::prover::caml

Constant _DERIVE_ocaml_FromValue_from_value_lifetime_FOR_CamlProverProof 

Source 
const _DERIVE_ocaml_FromValue_from_value_lifetime_FOR_CamlProverProof: ();