law oset_has_del

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

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

92law oset_has_del:
93  {O.OSet.has(~U32, ~U32.cmp,
94     O.OSet.del(~U32, ~U32.cmp, O.OSet.add(~U32, ~U32.cmp, O.OSet.new(U32), 3), 3), 3)
95   == False{} : Bool}