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