def le_zero

bendtorch-core@0.1.0.0 · src/storage/arith.bend:150

import Base

150def le_zero(+q: Nat) -> {Nat.is_le(0n, q) == True{} : Bool}:
151  match q:
152    case 0n:
153      {==}
154    case 1n+r:
155      {==}