QuickTheory function ( ) { return new QuickTheory ( ( ) -> Configuration . systemStrategy ( ) ) ; }
start defining a property using default system settings concode_field_sep Supplier<Strategy> state concode_field_sep QuickTheory withExamples concode_elem_sep QuickTheory withFixedSeed concode_elem_sep TheoryBuilder<A> forAll concode_elem_sep TheoryBuilder2<A,B> forAll concode_elem_sep TheoryBuilder3<A,B,C> forAll concode_elem_sep TheoryBuilder4<A,B,C,D> forAll concode_elem_sep SourceDSL values concode_elem_sep QuickTheory withShrinkCycles