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