# is a value locally defined in `mmodule`
	fun has_mmodule(mmodule: MModule): Bool
	do
		return defs.has_key(mmodule)
	end