Documentation · subtype-refinement 0.2 · OCaml Packages

subtype-refinement

Refinement types encoded with private types in OCaml

Version

IN THIS PACKAGE

library subtype-refinement
- module Subtype_refinement
  - module type IConstraint
  - module type IValue
  - module Refine
    
    argument 1-Constraint
  - module Singleton
    
    argument 1-Value
  - module type Subtype

Libraries

This package provides the following libraries (via dune):

Documentation: Subtype_refinement