&&
Assertion
BoolAlgebra
RenderedResult
++
TestAnnotationMap
<*>
Gen
Sample
==>
BoolAlgebra
>>>
TestAspect
@@
ZSpecSyntax
||
Assertion
BoolAlgebra
RenderedResult