subtype-refinementversion Documentation on ocaml.org
Refinement types encoded with private types in OCaml
| Author | Marco Aurélio <marcoonroad@gmail.com> |
|---|---|
| License | MIT |
| Published | |
| Homepage | http://github.com/marcoonroad/subtype-refinement |
| Issue Tracker | http://github.com/marcoonroad/subtype-refinement/issues |
| Maintainer | Marco Aurélio <marcoonroad@gmail.com> |
| Dependencies | |
| Source [http] | https://github.com/marcoonroad/subtype-refinement/archive/0.2.tar.gz md5=d11855793d23bcd16d25bcc65128f687 sha512=56cfd4dda126460f23100485124d5565a138942e0f5ec919bc7217a0560e6079db9669b65cca24fea762b1121134b8bbdfdeaeb9bce867688806defd35ac89d0 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/subtype-refinement/subtype-refinement.0.2/opam |
No package is dependent
