Passes.ScopingSourceResolve variables scope and give unique identifiers accordingly.
val visit_expr :
Parsing.Cst.expr Mopsa_utils.Location.with_range ->
Scope.t ->
Parsing.Cst.expr Mopsa_utils.Location.with_range * Scope.tval visit_formula :
Parsing.Cst.formula Mopsa_utils.Location.with_range ->
Scope.t ->
Parsing.Cst.formula Mopsa_utils.Location.with_range * Scope.tval visit_assigns :
Parsing.Cst.assigns Mopsa_utils.Location.with_range ->
Scope.t ->
Parsing.Cst.assigns Mopsa_utils.Location.with_range * Scope.tval visit_local_value :
Parsing.Cst.local_value ->
Scope.t ->
Parsing.Cst.local_value * Scope.tval visit_local :
Parsing.Cst.local Mopsa_utils.Location.with_range ->
Scope.t ->
Parsing.Cst.local Mopsa_utils.Location.with_range * Scope.tval visit_case :
Parsing.Cst.case Mopsa_utils.Location.with_range ->
Scope.t ->
Parsing.Cst.case Mopsa_utils.Location.with_range * Scope.t***************