law omap_get_del_other

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

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

71law omap_get_del_other:
72  {O.OMap.get(~U32, ~U32, ~U32.cmp, O.OMap.del(~U32, ~U32, ~U32.cmp, m3(), 3), 5)
73   == Some{50} : Maybe<&2, U32>}