def len

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

import Base

189# number of significant bits
190def len(a: Bin) -> Nat:
191  match a:
192    case BZ{}:
193      0n
194    case B0{r}:
195      len.up(len(r))
196    case B1{r}:
197      1n+len(r)