package subtype-refinement
Refinement types encoded with private types in OCaml
Install
Dune Dependency
Authors
Maintainers
Sources
0.2.tar.gz
md5=d11855793d23bcd16d25bcc65128f687
sha512=56cfd4dda126460f23100485124d5565a138942e0f5ec919bc7217a0560e6079db9669b65cca24fea762b1121134b8bbdfdeaeb9bce867688806defd35ac89d0
doc/index.html
On This Page