def predecessor

bendtorch-core@0.1.0.0 · src/tensor/word_injective.bend:55

import Base

55def predecessor(number: Nat) -> Nat:
56  match number:
57    case 0n:
58      0n
59    case 1n+p:
60      p