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