subtype-refinement

Refinement types encoded with private types in OCaml
IN THIS PACKAGE

Libraries

This package provides the following libraries (via dune):

subtype-refinement

Documentation: Subtype_refinement