for
DefHead:
AbstractProduction [Locks, ModuleList, Shares, Access]
let GetAccessVal[tree, default] ← GetAccessVal[Access, default];
let AddModulePropertiesToCompilerState[tree, cs] ← cs2
where cs2 ← SetDefaultAccess[cs, GetAccessVal[Access, AccessValConst["public"]]];
for
ProgHead:
AbstractProduction [Safe, Class, Arguments, Locks, Interface, Access]
let GetAccessVal[tree, default] ← GetAccessVal[Access, default];
let AddModulePropertiesToCompilerState[tree, cs] ← cs2
where cs2 ← SetDefaultAccess[cs, GetAccessVal[Access, AccessValConst["private"]]];