def half

bend-parallel@0.1.0.0 · scan.bend:165

import Base

165# floor(d / 2).
166def half(+d: Nat) -> Nat:
167  match d:
168    case 0n:
169      0n
170    case 1n+p:
171      match p:
172        case 0n:
173          0n
174        case 1n+q:
175          1n+half(q)