&&
Predicate
<*>
Gen
Sample
>>>
TestAspect
@@
ZSpecSyntax
||
Predicate