_DERIVE_ocaml_FromValue_from_value_lifetime_FOR_CamlProofWithPublic

kimchi::prover::caml

Constant _DERIVE_ocaml_FromValue_from_value_lifetime_FOR_CamlProofWithPublic 

Source 
const _DERIVE_ocaml_FromValue_from_value_lifetime_FOR_CamlProofWithPublic: ();