sig type t = Cvar of Cil_types.varinfo | Lvar of Cil_types.logic_var val compare : VarUsage.Root.t -> VarUsage.Root.t -> int val pretty : Format.formatter -> VarUsage.Root.t -> unit end