package subtype-refinement

  1. Overview
  2. Docs
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 Singleton (Value : IValue) : Subtype with type super = Value.t
OCaml

Innovation. Community. Security.