Module `Core_kernel__Type_equal.Id`

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.Sexp.t) -> 'a t -> Base.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 hash_fold_t : Base.Hash.state -> 'a t -> Base.Hash.state
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

module Uid : Core_kernel__.Type_equal_intf.Uid