~/jendhub

def to_nat

bend-lawful-stdlib@0.1.0.0 · src/float/bin.bend:237

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

237def to_nat(a: Bin) -> Nat:
238  match a:
239    case BZ{}:
240      0n
241    case B0{r}:
242      Nat.double(to_nat(r))
243    case B1{r}:
244      1n+Nat.double(to_nat(r))

Uses (3)

Used by (1)