_DERIVE_ocaml_IntoValue_FOR_CamlTraces
kimchi
0.1.0
In kimchi::
prover::
internal_
traces::
caml
kimchi
::
prover
::
internal_traces
::
caml
Constant
_DERIVE_
ocaml_
Into
Value_
FOR_
Caml
Traces
Copy item path
Source
const _DERIVE_ocaml_IntoValue_FOR_CamlTraces:
()
;