Module Typerep_lib.Typename

runtime representation of the name of type 'a. Useful for representing types with a nominal notion of equality

type 'a t

type 'a typename = 'a t

val create : ?name:string ‑> unit ‑> 'a t

val static : unit t

val same : _ t ‑> _ t ‑> bool

nominal type equality test

val same_witness : 'a t ‑> 'b t ‑> ('a, 'b) Type_equal.t option

val same_witness_exn : 'a t ‑> 'b t ‑> ('a, 'b) Type_equal.t

module Key : sig ... end

a runtime representation of fully applied type 'a

val key : 'a t ‑> Key.t

module Uid : sig ... end

an untyped runtime representation of non applied type

val uid : 'a t ‑> Uid.t

val name : 'a t ‑> string

module type S0 : sig ... end

module type S1 : sig ... end

module type S2 : sig ... end

module type S3 : sig ... end

module type S4 : sig ... end

module type S5 : sig ... end

module Make0 : functor (X : Named_intf.S0) -> S0 with type t := X.t

module Make1 : functor (X : Named_intf.S1) -> S1 with type a t := a X.t

module Make2 : functor (X : Named_intf.S2) -> S2 with type (a, b) t := (a, b) X.t

module Make3 : functor (X : Named_intf.S3) -> S3 with type (a, b, c) t := (a, b, c) X.t

module Make4 : functor (X : Named_intf.S4) -> S4 with type (a, b, c, d) t := (a, b, c, d) X.t

module Make5 : functor (X : Named_intf.S5) -> S5 with type (a, b, c, d, e) t := (a, b, c, d, e) X.t

module Table : functor (X : sig ... end) -> sig ... end

module Same_witness_exn_1 : functor (A : S1) -> functor (B : S1) -> sig ... end

module Same_witness_exn_2 : functor (A : S2) -> functor (B : S2) -> sig ... end

module Same_witness_exn_3 : functor (A : S3) -> functor (B : S3) -> sig ... end

module Same_witness_exn_4 : functor (A : S4) -> functor (B : S4) -> sig ... end

module Same_witness_exn_5 : functor (A : S5) -> functor (B : S5) -> sig ... end