def steps_done
bendtorch-core@0.1.0.0 · src/tensor/contracts/pointwise_proof.bend:83
import bendtorch-core@0.1.0.0/src/tensor/contracts/pointwise_proof.bend as PointwiseProof
import Base
import bendtorch-core@0.1.0.0/src/tensor/word_conversion.bend as Conversion
83def steps_done(+cursor: Nat, +end: Nat, steps: {Nat.add(cursor, 0n) == end : Nat}) -> {cursor == end : Nat}:
84 Equal.trans(Nat, cursor, Nat.add(cursor, 0n), end, Equal.sym(Nat, Nat.add(cursor, 0n), cursor, Conversion.add_zero(cursor)), steps)