&&

Assertion AssertionM BoolAlgebra BoolAlgebraM RenderedResult Expectation

+

Fragment Line ZLawful ZLawful2 Contravariant Covariant Invariant ZLaws ZLaws2 Contravariant Covariant Invariant

++

Line Message TestAnnotationMap Expectation

+:

Fragment Message

:+

Line Message

<&>

Gen Sample

<*>

Gen Sample

<==>

BoolAlgebra BoolAlgebraM

<>

TestAnnotationRenderer

==>

BoolAlgebra BoolAlgebraM

>>>

TestAspect

??

Assertion AssertionM

@@

Spec

||

Assertion AssertionM BoolAlgebra BoolAlgebraM RenderedResult Expectation