# The declaration of the module with the documentation, name, and annotations
class AModuledecl
	super ADefinition

	# The `module` keyword
	var n_kwmodule: TKwmodule is writable, noinit

	# The declared module name
	var n_name: AModuleName is writable, noinit
end