def low

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

import Base

347def low(m: Nat, +k: Nat) -> Word(m):
348  match m:
349    case 0n:
350      WNil{}
351    case 1n+q:
352      match k:
353        case 0n:
354          WCon{False{}, low(q, 0n)}
355        case 1n+r:
356          WCon{True{}, low(q, r)}