law hmap_replace_collision

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

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

461law hmap_replace_collision:
462  {M.HMap.get(~U32, ~U32, ~hkey, ~U32.is_eq,
463     M.HMap.put(~U32, ~U32, ~hkey, ~U32.is_eq, hm(), 2, 22), 2)
464   == Some{22} : Maybe<&2, U32>}