Function varisat::proof::flush_proof

pub fn flush_proof<'a>(
    ctx: Mut<SolverStateP, Mut<ProofP<'a>, Ref<Context<'a>>>>
)

Flush buffers used for writing proof steps.