sig
  val table : Cilutil.TypeHashtbl.key Cilutil.TypeHashtbl.t
  val ranks : int Cilutil.TypeHashtbl.t
  val repr : Cilutil.TypeHashtbl.key -> Cilutil.TypeHashtbl.key
  val rank : Cilutil.TypeHashtbl.key -> int
  val unify : Cilutil.TypeHashtbl.key -> Cilutil.TypeHashtbl.key -> unit
  val classes : unit -> Cilutil.TypeSet.t list
  val one_class : Cilutil.TypeHashtbl.key -> Cilutil.TypeHashtbl.key list
  val same_class : Cilutil.TypeHashtbl.key -> Cilutil.TypeHashtbl.key -> bool
end