def lt_add_left

bendtorch-core@0.1.0.0 · src/storage/api.bend:166

import Base

166def lt_add_left(+c: Nat, +x: Nat, +y: Nat, h: {Nat.is_lt(x, y) == True{} : Bool}) ->
167  {Nat.is_lt(Nat.add(c, x), Nat.add(c, y)) == True{} : Bool}:
168  match c:
169    case 0n:
170      h
171    case 1n+r:
172      lt_add_left(r, x, y, h)