law oset_to_list

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

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

86law oset_to_list:
87  {O.OSet.to_list(U32,
88     O.OSet.add(~U32, ~U32.cmp, O.OSet.add(~U32, ~U32.cmp,
89       O.OSet.add(~U32, ~U32.cmp, O.OSet.new(U32), 3), 1), 3))
90   == [1, 3] : List<&2, U32>}