def to_word

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

import Base

224def to_word(n: Nat, a: Bin) -> Word(n):
225  match n:
226    case 0n:
227      WNil{}
228    case 1n+p:
229      match a:
230        case BZ{}:
231          WCon{False{}, to_word(p, BZ{})}
232        case B0{r}:
233          WCon{False{}, to_word(p, r)}
234        case B1{r}:
235          WCon{True{}, to_word(p, r)}