Function thread_output 

pub fn thread_output(source: &Program) -> Result<Cow<'_, Program>>

The checked program with its output and aborts threaded through, or the program itself when nothing below main prints or aborts.

Errors

When an operand that prints or aborts sits in a compound assertion, or a theorem states a fact of a computation that may abort.