law hmap_collision

bend-kit-collections@0.1.4.1 · LAWS.bend:456

import Base
import bend-kit-collections@0.1.4.1/hmap.bend as M

456law hmap_collision:
457  {M.HMap.get(~U32, ~U32, ~hkey, ~U32.is_eq,
458     M.HMap.put(~U32, ~U32, ~hkey, ~U32.is_eq, hm(), 4, 40), 2)
459   == Some{20} : Maybe<&2, U32>}