subtype-refinementversion

Refinement types encoded with private types in OCaml

AuthorMarco Aurélio <marcoonroad@gmail.com>
LicenseMIT
Published
Homepagehttp://github.com/marcoonroad/subtype-refinement
Issue Trackerhttp://github.com/marcoonroad/subtype-refinement/issues
MaintainerMarco Aurélio <marcoonroad@gmail.com>
Dependencies
Source [http] https://github.com/marcoonroad/subtype-refinement/archive/0.2.tar.gz
md5=d11855793d23bcd16d25bcc65128f687
sha512=56cfd4dda126460f23100485124d5565a138942e0f5ec919bc7217a0560e6079db9669b65cca24fea762b1121134b8bbdfdeaeb9bce867688806defd35ac89d0
StatisticsInstalled 5 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/subtype-refinement/subtype-refinement.0.2/opam
No package is dependent