law hmap_get_put_other

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

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

451law hmap_get_put_other:
452  {M.HMap.get(~U32, ~U32, ~hkey, ~U32.is_eq,
453     M.HMap.put(~U32, ~U32, ~hkey, ~U32.is_eq, hm(), 4, 40), 3)
454   == M.HMap.get(~U32, ~U32, ~hkey, ~U32.is_eq, hm(), 3) : Maybe<&2, U32>}