package subtype-refinement

  1. Overview
  2. Docs

Module Subtype_refinement.SingletonSource

Parameters

module Value : IValue

Signature

Sourcetype super = Value.t
Sourcetype t = private super
Sourceexception FailedDownCast of super
Sourceval upcast : t -> super
Sourceval downcast : super -> t
OCaml

Innovation. Community. Security.