law omap_keys_del_root

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

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

41law omap_keys_del_root:
42  {O.OMap.keys(U32, U32, O.OMap.del(~U32, ~U32, ~U32.cmp, m7(), 4))
43   == [1, 2, 3, 5, 6, 7] : List<&2, U32>}