package subtype-refinement

  1. Overview
  2. Docs
Refinement types encoded with private types in OCaml.

Install

Dune Dependency

Authors

Maintainers

Sources

v0.1.tar.gz
sha256=688595fc0b9a9452f5b964e94fc9722fce514956e59119dbb5d265d1f65b2983
md5=84c3ab089fc771450917f0bd2613ed9c

Description

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

Published: 15 Apr 2017

Dependencies (3)

  1. ocamlfind build
  2. oasis build
  3. ocaml >= "3.12"

Dev Dependencies (1)

  1. ounit with-test

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.