_DERIVE_ocaml_IntoValue_FOR_PointEvaluations

kimchi::proof

Constant _DERIVE_ocaml_IntoValue_FOR_PointEvaluations 

Source 
const _DERIVE_ocaml_IntoValue_FOR_PointEvaluations: ();