runtime representation of the name of type 'a
.
Useful for representing types with a nominal notion of equality
val create : ?name:string ‑> unit ‑> 'a t
val static : unit t
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
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 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