sig
  type t = Cil_types.typ
  val compare : Cilutil.TypeComparable.t -> Cilutil.TypeComparable.t -> int
  val hash : Cilutil.TypeComparable.t -> int
  val equal : Cilutil.TypeComparable.t -> Cilutil.TypeComparable.t -> bool
end