Property definitions

nitc :: parser_prod $ AModuledecl :: init_amoduledecl
	init init_amoduledecl (
		n_doc: nullable ADoc,
		n_kwredef: nullable TKwredef,
		n_visibility: nullable AVisibility,
		n_kwmodule: nullable TKwmodule,
		n_name: nullable AModuleName,
		n_annotations: nullable AAnnotations
	)
	do
		_n_doc = n_doc
		if n_doc != null then n_doc.parent = self
		_n_kwredef = n_kwredef
		if n_kwredef != null then n_kwredef.parent = self
		_n_visibility = n_visibility.as(not null)
		n_visibility.parent = self
		_n_kwmodule = n_kwmodule.as(not null)
		n_kwmodule.parent = self
		_n_name = n_name.as(not null)
		n_name.parent = self
		_n_annotations = n_annotations
		if n_annotations != null then n_annotations.parent = self
	end
src/parser/parser_prod.nit:51,2--72,4