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