diff options
| author | Hugo Herbelin | 2018-07-30 12:32:35 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2018-09-10 13:07:29 +0200 |
| commit | 8e675d70ad1f60cbbf9f1e630ce6dee61347c7ca (patch) | |
| tree | 2b4872c3c5cf0d80f9cb127b88eebc8e3b2971a3 /theories/Program | |
| parent | 3b7a6761f5c9bf5026c4517e8032aa4384185528 (diff) | |
Support for Local flag in Declare Scope, Undelimit/Delimit Scope, Bind Scope.
This is for use in modules. By default, the behavior is local in
sections and Global is forbidden in sections. By default, the behavior
is global in modules.
Diffstat (limited to 'theories/Program')
0 files changed, 0 insertions, 0 deletions