def of_nat

import bend-lawful-stdlib@0.1.0.0/src/float/bin.bend as Bin

import Base

246def of_nat(n: Nat) -> Bin:
247  match n:
248    case 0n:
249      BZ{}
250    case 1n+k:
251      inc(of_nat(k))

Uses (3)