law omap_get_after_rotations

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

import Base
import bend-kit-collections@0.1.4.1/omap.bend as O

37law omap_get_after_rotations:
38  {O.OMap.get(~U32, ~U32, ~U32.cmp, O.OMap.del(~U32, ~U32, ~U32.cmp, m7(), 4), 6)
39   == Some{60} : Maybe<&2, U32>}