package stdune

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Stdune.Type_eqSource

Equality between types. See Base.Type_equal for documentation.

Sourcetype ('a, 'b) t =
  1. | T : ('a, 'a) t
Sourceval cast : ('a, 'b) t -> 'a -> 'b
Sourcemodule Id : sig ... end

Id provides identifiers for types, and the ability to test (via Id.same) at runtime if two identifiers are equal, and if so to get a proof of equality of their types.

OCaml

Innovation. Community. Security.