Constant _DERIVE_ocaml_IntoValue_FOR_CamlOpeningProof 

const _DERIVE_ocaml_IntoValue_FOR_CamlOpeningProof: ();