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