&&
Assertion
BoolAlgebra
RenderedResult
&&&
MockSpec
*>
MockSpec
++
TestAnnotationMap
<*
MockSpec
<*>
Gen
Sample
MockSpec
==>
BoolAlgebra
>>=
MockSpec
>>>
TestAspect
@@
ZSpecSyntax
_0
nextInt
nextLong
_1
nextInt
nextLong
||
Assertion
BoolAlgebra
RenderedResult