stdune

Dune's unstable standard library
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library stdune
Module Stdune . Type_eq
type ('a, 'b) t =
| T : ( 'a, 'a ) t
val cast : ( 'a, 'b ) t -> 'a -> 'b
module 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.