package subtype-refinement

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `SubtypeRefinement`

module type IValue = sig ... end

module type IConstraint = sig ... end

module type Subtype = sig ... end

val refine : ('a -> bool) -> (module Subtype with type super = 'a)

module Refine
  (Constraint : IConstraint) : 
  Subtype with type super = Constraint.t

module Singleton (Value : IValue) : Subtype with type super = Value.t