# Is the property `key` set?
	fun has_key(key: String): Bool do return properties.has_key(key)