package subtype-refinement

  1. Overview
  2. Docs
type super
type t = private super
exception FailedDownCast of super
val upcast : t -> super
val downcast : super -> t
OCaml

Innovation. Community. Security.