-- ThreeC4MiscAbGram.ThreeC4 -- Sturgis, May 7, 1986 10:35:05 am PDT Include[ThreeC4BaseDecl, ThreeC4RecFcnDecl, ThreeC4BasicAbTypes]; ThreeC4MiscAbGram: Module = Begin -- this module contains the abstract productions for IdList, ModId, ModIdList, and RopeList. -- the abstract type declarations are in BasicAbTypes ModId.oneId: AbstractProduction[Identifier]; ModId.twoIds: AbstractProduction[Identifier.left, Identifier.right]; ModIdList.Empty: AbstractProduction[]; ModIdList.Many: AbstractProduction[ModIdList, ModId]; IdList.Empty: AbstractProduction[]; IdList.nonEmpty: AbstractProduction[Identifier, IdList]; RopeList.One: AbstractProduction[Rope]; RopeList.Many: AbstractProduction[RopeList, Rope] End. J