# #< #> -=- <=> <~ <~> <~~> ==> ~> always classify collect collectAs deterministic eventually failing for forAll is isAlways isEventually label returns sameReturns solutionOf successful toError toIOError trivial uniquely valuesOf
#
#<
#>
-=-
<=>
<~
<~>
<~~>
==>
~>
always
classify
collect
collectAs
deterministic
eventually
failing
for
forAll
is
isAlways
isEventually
label
returns
sameReturns
solutionOf
successful
toError
toIOError
trivial
uniquely
valuesOf