_DERIVE_ocaml_FromValue_from_value_lifetime_FOR_CamlProofEvaluations
kimchi
0.1.0
In kimchi::
proof::
caml
kimchi
::
proof
::
caml
Constant
_DERIVE_
ocaml_
From
Value_
from_
value_
lifetime_
FOR_
Caml
Proof
Evaluations
Copy item path
Source
const _DERIVE_ocaml_FromValue_from_value_lifetime_FOR_CamlProofEvaluations:
()
;