Id (core_kernel.Core_kernel__Type

include module type of sig ... end with module Uid := Base.Type_equal.Id.Uid

type 'a t = 'a Base__Type_equal.Id.t

val sexp_of_t : ('a ‑> Base__.Sexplib.Sexp.t) ‑> 'a t ‑> Base__.Sexplib.Sexp.t

module Uid = Base__Type_equal.Id.Uid

val uid : 'a t ‑> Uid.t

val create : name:string ‑> ('a ‑> Base.Sexp.t) ‑> 'a t

val hash : 'a t ‑> int

val name : 'a t ‑> string

val to_sexp : 'a t ‑> 'a ‑> Base.Sexp.t

val same : 'a t ‑> 'b t ‑> bool

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

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