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/(a07040868358cfee37d5867a38e98e23).t ->
  {Var}4/shadowed/(a07040868358cfee37d5867a38e98e23).t ->
  bool