public override void OnModule(Module module) { _perModuleRawArrayIndexing = AstAnnotations.IsRawIndexing(module); _checked = AstAnnotations.IsChecked(module, Parameters.Checked); Visit(module.Members); }