subtype-refinement
Refinement types encoded with private types in OCaml
1024">
IN THIS PACKAGE
-
library subtype-refinement
-
module Subtype_refinement
-
module type IConstraint
-
module type IValue
-
module Refine
-
argument 1-Constraint
-
-
module type Subtype
-
-
Libraries
This package provides the following libraries (via dune):
subtype-refinement
Documentation: Subtype_refinement