package subtype-refinement

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

Install

Dune Dependency

Authors

Maintainers

Sources

0.2.tar.gz
md5=d11855793d23bcd16d25bcc65128f687
sha512=56cfd4dda126460f23100485124d5565a138942e0f5ec919bc7217a0560e6079db9669b65cca24fea762b1121134b8bbdfdeaeb9bce867688806defd35ac89d0

doc/index.html

subtype-refinement

API

Library subtype-refinement

OCaml

Innovation. Community. Security.