Represents an unexpected failure during communication with the prover.
An observer waiting for more intermediate data (step
) or
a final result (done
).
Represents a final result from the prover, be it successful or failed.
Combinator for producing an observer which ignores intermediate data.
Cases of observers and combinators.