subtype-refinement

Refinement types encoded with private types in OCaml.
Description

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

Install
Published
15 Apr 2017
Authors
Maintainers
Sources
v0.1.tar.gz
md5=84c3ab089fc771450917f0bd2613ed9c
Dependencies
oasis build
ounit with-test
ocaml >= "3.12"
Reverse Dependencies