Is there a value at k1, k2, k3?

Property definitions

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