law hmap_get_put

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

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

446law hmap_get_put:
447  {M.HMap.get(~U32, ~U32, ~hkey, ~U32.is_eq,
448     M.HMap.put(~U32, ~U32, ~hkey, ~U32.is_eq, hm(), 4, 40), 4)
449   == Some{40} : Maybe<&2, U32>}