sig
type t
val type_id_name : Univ.t -> string
val create : 'a Type_equal.Id.t -> 'a -> Univ.t
val does_match : Univ.t -> 'a Type_equal.Id.t -> bool
val match_ : Univ.t -> 'a Type_equal.Id.t -> 'a option
val match_exn : Univ.t -> 'a Type_equal.Id.t -> 'a
val sexp_of_t : Univ.t -> Sexplib.Sexp.t
end