Module Ast.Symbol

type t = string * Dba.Var.Tag.attribute
val create : ?attr:Dba.Var.Tag.attribute -> string -> t
val pp : Format.formatter -> t -> unit