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
Sources
v0.1.tar.gz
md5=84c3ab089fc771450917f0bd2613ed9c
Dependencies
oasis
build
ounit
with-test
ocaml
>= "3.12"
Reverse Dependencies