package subtype-refinement

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

Install

Dune Dependency

github.com Edit opam file Versions (2)

Authors

  1. M
    Marco Aurélio <marcoonroad@gmail.com>

Maintainers

  1. M
    Marco Aurélio <marcoonroad@gmail.com>

Sources

v0.1.tar.gz
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