def inc

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

import Base

54def inc(a: Bin) -> Bin:
55  match a:
56    case BZ{}:
57      B1{BZ{}}
58    case B0{r}:
59      B1{r}
60    case B1{r}:
61      B0{inc(r)}