val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t
val type_id_name : t -> string
val type_id_uid : t -> Core_kernel.Type_equal.Id.Uid.t
val create : 'a Core_kernel.Type_equal.Id.t -> 'a -> t
val does_match : t -> _ Core_kernel.Type_equal.Id.t -> bool
does_match t id
returnstrue
ifft
was created bycreate id v
.
val match_ : t -> 'a Core_kernel.Type_equal.Id.t -> 'a option
match_ t id
returnsSome v
ift
was created bycreate id v
, and returnsNone
otherwise.match_exn t id
returnsv
ift
was created bycreate id v
, and raises otherwise.
val match_exn : t -> 'a Core_kernel.Type_equal.Id.t -> 'a
module View : sig ... end