package subtype-refinement

You can search for identifiers within the package.

in-package search v0.2.0

Refinement types encoded with private types in OCaml.

Install

Dune Dependency

github.com Edit opam file Versions (2)

Authors

M

Marco Aurélio <marcoonroad@gmail.com>

Maintainers

M

Marco Aurélio <marcoonroad@gmail.com>

Sources

sha256=688595fc0b9a9452f5b964e94fc9722fce514956e59119dbb5d265d1f65b2983

md5=84c3ab089fc771450917f0bd2613ed9c

doc/index.html

API

SubtypeRefinement

On This Page

API
1. Library subtype-refinement