Statement

A juvix statement is each of the components of a module. All statements are listed below:

1. type definition.
2. function definition.
3. axiom definition.
4. fixity declaration.
5. function definition.
6. open.
7. import.
8. local module.

Comments