PACKAGE_DECL ::= Package PACKAGE_ID [ {\displaystyle {\big [}} ⟨ {\displaystyle \langle } EXPORT_DECL ; ⟩ {\displaystyle \rangle } ] {\displaystyle {\big ]}} [ {\displaystyle {\big [}} ⟨ {\displaystyle \langle } VARIABLE_DECL ; ⟩ {\displaystyle \rangle } ] {\displaystyle {\big ]}} [ {\displaystyle {\big [}} ⟨ {\displaystyle \langle } FUNCTION_DECL ⟩ {\displaystyle \rangle } ] {\displaystyle {\big ]}} EndPackage
EXPORT_DECL ;
![{\displaystyle {\big ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/31d63350d68291e3f56604a089e0e0b5a86c2472)
VARIABLE_DECL ;
FUNCTION_DECL
EndPackage
