_DERIVE_ocaml_FromValue_from_value_lifetime_FOR_PointEvaluations

kimchi::proof

Constant _DERIVE_ocaml_FromValue_from_value_lifetime_FOR_PointEvaluations 

Source 
const _DERIVE_ocaml_FromValue_from_value_lifetime_FOR_PointEvaluations: ();