init init_amainclassdef (
		n_propdefs: Collection[Object] # Should be Collection[APropdef]
	)
	do
		self.n_propdefs.unsafe_add_all(n_propdefs)
	end