Module `Typerep_lib.Typename`

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

type ('a : any) t

type ('a : any) typename = 'a Typerep_lib.Typename.t

val create : 
  ('a : any). ?name:Base.string ->
  Base.unit ->
  'a Typerep_lib.Typename.t @@ portable

val static : Base.unit Typerep_lib.Typename.t @@ portable

val same : 
  ('a : any) ('b : any). 'a Typerep_lib.Typename.t ->
  'b Typerep_lib.Typename.t ->
  Base.bool @@ portable

nominal type equality test

val same_witness : 
  ('a : any) ('b : any). 'a Typerep_lib.Typename.t ->
  'b Typerep_lib.Typename.t ->
  ('a, 'b) Base.Type_equal.t Base.option @@ portable

val same_witness_exn : 
  ('a : any) ('b : any). 'a Typerep_lib.Typename.t ->
  'b Typerep_lib.Typename.t ->
  ('a, 'b) Base.Type_equal.t @@ portable

module Key : sig ... end

a runtime representation of fully applied type 'a

val key : 
  ('a : any). 'a Typerep_lib.Typename.t ->
  Typerep_lib.Typename.Key.t @@ portable

module Uid : sig ... end

an untyped runtime representation of non applied type

val uid : 
  ('a : any). 'a Typerep_lib.Typename.t ->
  Typerep_lib.Typename.Uid.t @@ portable

val name : ('a : any). 'a Typerep_lib.Typename.t -> Base.string @@ portable

module Tuple_l : sig ... end

module type S0 = sig ... end

module Make0
  (X : Typerep_lib.Named_intf.S0) : 
  Typerep_lib.Typename.S0 with type t := X.t

module type S1 = Typerep_lib.Typename.S1__value

module type S2 = Typerep_lib.Typename.S2__value__value

module type S3 = Typerep_lib.Typename.S3__value__value__value

module type S4 = Typerep_lib.Typename.S4__value__value__value__value

module type S5 = Typerep_lib.Typename.S5__value__value__value__value__value

module Table (X : sig ... end) : sig ... end

module Same_witness_exn_1
  (A : Typerep_lib.Typename.S1)
  (B : Typerep_lib.Typename.S1) : 
  sig ... end

module Same_witness_exn_2
  (A : Typerep_lib.Typename.S2)
  (B : Typerep_lib.Typename.S2) : 
  sig ... end

module Same_witness_exn_3
  (A : Typerep_lib.Typename.S3)
  (B : Typerep_lib.Typename.S3) : 
  sig ... end

module Same_witness_exn_4
  (A : Typerep_lib.Typename.S4)
  (B : Typerep_lib.Typename.S4) : 
  sig ... end

module Same_witness_exn_5
  (A : Typerep_lib.Typename.S5)
  (B : Typerep_lib.Typename.S5) : 
  sig ... end

Module Typerep_lib.Typename

Module `Typerep_lib.Typename`