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
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.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct