Function varisat::proof::close_proof

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

Stop writing proof steps.