&&

Assertion BoolAlgebra BoolAlgebraM RenderedResult Expectation

+

Fragment Line

++

Line Message TestAnnotationMap Expectation

+:

Fragment Message

:+

Line Message

<&>

Gen Sample

<*>

Gen Sample

<==>

BoolAlgebra BoolAlgebraM

<>

TestAnnotationRenderer

==>

BoolAlgebra BoolAlgebraM

>>>

TestAspect

??

Assertion

@@

Spec

_0

NextInt NextLong

_1

NextInt NextLong

||

Assertion BoolAlgebra BoolAlgebraM RenderedResult Expectation