Typerep_lib.Typename
runtime representation of the name of type 'a
. Useful for representing types with a nominal notion of equality
type 'a typename = 'a t
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
module Key : sig ... end
a runtime representation of fully applied type 'a
module Uid : sig ... end
an untyped runtime representation of non applied type
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 (A : S1) (B : S1) : sig ... end
module Same_witness_exn_2 (A : S2) (B : S2) : sig ... end
module Same_witness_exn_3 (A : S3) (B : S3) : sig ... end
module Same_witness_exn_4 (A : S4) (B : S4) : sig ... end
module Same_witness_exn_5 (A : S5) (B : S5) : sig ... end