This is the core library used to build some of Imandra's projects.
It builds on top of containers, Moonpool, as well as mtime, ptime, logs, hmap, base64, uuidm, and ppx_deriving.
MIT
This is the core library used to build some of Imandra's projects.
It builds on top of containers, Moonpool, as well as mtime, ptime, logs, hmap, base64, uuidm, and ppx_deriving.
MIT