&&

Assertion BoolAlgebra BoolAlgebraM RenderedResult

*>

Expectation

++

TestAnnotationMap

<&>

Gen Sample

<*>

Gen Sample

<>

TestAnnotationRenderer

==>

BoolAlgebra BoolAlgebraM

>>>

TestAspect

??

Assertion

@@

Spec

_0

nextInt nextLong

_1

nextInt nextLong

||

Assertion BoolAlgebra BoolAlgebraM RenderedResult