<> <> <> <<>> Include [SaffronAG, SaffronTreeDecls, SaffronBaseDecls]; SaffronModuleHeader: Module = Begin for DefHead: AbstractProduction [Locks, ModuleList, Shares, Access] let GetAccessVal[tree, default] _ GetAccessVal[Access, default]; <> <> <<>> for ProgHead: AbstractProduction [Safe, Class, Arguments, Locks, Interface, Access] let GetAccessVal[tree, default] _ GetAccessVal[Access, default]; <> <> <<>> End.