-- 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.