(n: number)
| 24 | } |
| 25 | |
| 26 | const parallel = (n: number): fc.Arbitrary<Cause.Cause<E>> => { |
| 27 | return fc.integer({ min: 1, max: n - 1 }).chain((i) => |
| 28 | causesN(i).chain((left) => causesN(n - i).map((right) => Cause.parallel(left, right))) |
| 29 | ) |
| 30 | } |
| 31 | |
| 32 | const causesN = (n: number): fc.Arbitrary<Cause.Cause<E>> => { |
| 33 | if (n === 1) { |