Is there a value at k1, k2?

Property definitions

more_collections $ HashMap2 :: has
	# Is there a value at `k1, k2`?
	fun has(k1: K1, k2: K2): Bool
	do
		if not level1.keys.has(k1) then return false
		return level1[k1].keys.has(k2)
	end
lib/more_collections/more_collections.nit:181,2--186,4