Constant _DERIVE_ocaml_IntoValue_FOR_CamlProverCommitments 

const _DERIVE_ocaml_IntoValue_FOR_CamlProverCommitments: ();