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