Var (goblint.Goblint_lib.GobApron.Var)

type t = Apron.Var.t

val of_string : string -> t

val compare : t -> t -> int

val to_string : t -> string

val hash : t -> int

val print : Stdlib.Format.formatter -> t -> unit

val set_var_operations : unit -> unit

val pp : Stdlib.Format.formatter -> t -> unit

include sig ... end

val show : t -> string

val pretty : unit -> t -> Printable.Pretty.doc

val printXml : 'a BatInnerIO.output -> t -> unit

val to_yojson : t -> [> `String of string ]

val equal : 
  {Var}4/shadowed/(dbc5e20510c2e11c5720bc4505b396aa).t ->
  {Var}4/shadowed/(dbc5e20510c2e11c5720bc4505b396aa).t ->
  bool