curl $ HeaderMap :: is_empty

	# Is this map empty?
	fun is_empty: Bool do return array.is_empty