mirror of
https://github.com/msgpack/msgpack-c
synced 2026-06-08 16:11:40 +00:00
mzp
4 lines
171 B
V
4 lines
171 B
V
Require Import ExtrOcamlBasic ExtrOcamlIntConv ExtrOcamlNatInt.
|
|
Require Import SerializeImplement DeserializeImplement.
|
|
Extraction "msgpackCore.ml" serialize deserialize.
|