<BUG>public final static Arbitrary<Set<Integer>> as = Arbitrary.arbSet(Ord.intOrd, Arbitrary.arbInteger, maxSize);</BUG><CONTEXT>import static fj.test.Property.property;@RunWith(PropertyTestRunner.class)@CheckParams(maxSize = 10000)public class SetProperties {public final static int maxSize = 20;<extra_id_0>public final static Equal<List<Integer>> eq = Equal.listEqual(Equal.intEqual);Property setToListIsSorted() {return property(as, s -> prop(s.toList().equals(s.toList().sort(Ord.intOrd))));</CONTEXT>
public final static Gen<Set<Integer>> as = Arbitrary.arbSet(Ord.intOrd, Arbitrary.arbInteger, maxSize);