subtype-refinement

AuthorMarco Aurélio <marcoonroad@gmail.com>
LicenseMIT
Homepagehttp://github.com/marcoonroad/subtype-refinement
Issue Trackerhttp://github.com/marcoonroad/subtype-refinement/issues
MaintainerMarco Aurélio <marcoonroad@gmail.com>
Dependencies
&oasis
ocamlfind
ounit
Availableocaml-version >= "3.12"
PublishedApr 15, 2017
Source [http] https://github.com/marcoonroad/subtype-refinement/archive/v0.1.tar.gz
84c3ab089fc771450917f0bd2613ed9c
StatisticsInstalled 7 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/subtype-refinement/subtype-refinement.0.1/opam

Refinement types encoded with private types in OCaml.

Generating refinement constraints through OCaml's Applicative Functors and private types.

No package is dependent