CoCoA:Grammar/Package

Package

Syntax

PACKAGE_DECL ::=
     Package PACKAGE_ID
       $[$$⟨$EXPORT_DECL ;$⟩$$]$
       $[$$⟨$VARIABLE_DECL ;$⟩$$]$
       $[$$⟨$FUNCTION_DECL$⟩$$]$
     EndPackage