Constant _DERIVE_ocaml_IntoValue_FOR_CamlProverProof 

const _DERIVE_ocaml_IntoValue_FOR_CamlProverProof: ();