sig
  type t
  val type_id_name : Univ.t -> string
  val type_id_uid : Univ.t -> Type_equal.Id.Uid.t
  val create : 'Type_equal.Id.t -> '-> Univ.t
  val does_match : Univ.t -> 'Type_equal.Id.t -> bool
  val match_ : Univ.t -> 'Type_equal.Id.t -> 'a option
  val match_exn : Univ.t -> 'Type_equal.Id.t -> 'a
  module View : sig type t = T : 'Type_equal.Id.t * '-> Univ.View.t end
  val view : Univ.t -> Univ.View.t
  val sexp_of_t : Univ.t -> Sexplib.Sexp.t
end