package subtype-refinement

  1. Overview
  2. Docs

Parameters

module Value : IValue

Signature

type super = Value.t
type t = private super
exception FailedDownCast of super
val upcast : t -> super
val downcast : super -> t