CoCoA:Grammar/Package

Package

Syntax

PACKAGE_DECL ::=
     Package PACKAGE_ID
       ${\big [}$$\langle$EXPORT_DECL ;$\rangle$${\big ]}$
       ${\big [}$$\langle$VARIABLE_DECL ;$\rangle$${\big ]}$
       ${\big [}$$\langle$FUNCTION_DECL$\rangle$${\big ]}$
     EndPackage