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

doc/index.html

subtype-refinement

API

Library subtype-refinement

OCaml

Innovation. Community. Security.