Textual.Global
type t = {
name : VarName.t;
typ : Typ.t;
attributes : Attr.t list;
init_exp : Exp.t option;
}