def low

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

import Base

253# the low k bits of a
254def low(k: Nat, a: Bin) -> Bin:
255  match k:
256    case 0n:
257      BZ{}
258    case 1n+j:
259      match a:
260        case BZ{}:
261          BZ{}
262        case B0{r}:
263          B0{low(j, r)}
264        case B1{r}:
265          B1{low(j, r)}