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