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