Class Asl_utils.localsClassSource

inherit LibASL.Asl_visitor.nopAslVisitor
val mutable stack : AST.ty Bindings.t list
method locals : AST.ty Bindings.t
method add_local : (AST.ty * Bindings.key) -> unit
method enter_scope : (AST.ty * Bindings.key) list -> unit
method leave_scope : unit -> unit