law hmap_high_bit

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

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

469law hmap_high_bit:
470  {M.HMap.get(~U32, ~U32, ~full, ~U32.is_eq,
471     M.HMap.put(~U32, ~U32, ~full, ~U32.is_eq,
472       M.HMap.put(~U32, ~U32, ~full, ~U32.is_eq, M.HMap.new(U32, U32), 0, 10),
473       2147483648, 20), 0)
474   == Some{10} : Maybe<&2, U32>}