package dune

  1. Overview
  2. Docs

Equality between types

type ('a, 'b) t =
  1. | T : ('a, 'a) t
val cast : ('a, 'b) t -> 'a -> 'b
OCaml

Innovation. Community. Security.