package subtype-refinement

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package subtype-refinement

subtype-refinement
- Library subtype-refinement
  - SubtypeRefinement
    
    IValue
    
    IConstraint
    
    Subtype
    
    Refine
    
    Singleton

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

Module `SubtypeRefinement.Refine`

Parameters

module Constraint : IConstraint

Signature

type super = Constraint.t

type t = private super

exception FailedDownCast of super

val upcast : t -> super

val downcast : super -> t