Constant _DERIVE_ocaml_IntoValue_FOR_CamlProofWithPublic 

const _DERIVE_ocaml_IntoValue_FOR_CamlProofWithPublic: ();