Function varisat::proof::write_varisat_step

fn write_varisat_step<'a, 's>(
    ctx: Const<SolverStateP, Mut<ProofP<'a>, Ref<Context<'a>>>>, 
    map_vars: impl Fn(Var) -> Var, 
    step: &'s ProofStep<'s>
) -> Result<()>

Write a step using our native format