law omap_get_del

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

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

67law omap_get_del:
68  {O.OMap.get(~U32, ~U32, ~U32.cmp, O.OMap.del(~U32, ~U32, ~U32.cmp, m3(), 3), 3)
69   == None{} : Maybe<&2, U32>}