def dec
import bend-lawful-stdlib@0.1.0.0/src/float/bin.bend as Binimport Base
97def dec(a: Bin) -> Bin:
98 match a:
99 case BZ{}:
100 BZ{}
101 case B1{r}:
102 B0{r}
103 case B0{r}:
104 B1{dec(r)}
import bend-lawful-stdlib@0.1.0.0/src/float/bin.bend as Binimport Base
97def dec(a: Bin) -> Bin:
98 match a:
99 case BZ{}:
100 BZ{}
101 case B1{r}:
102 B0{r}
103 case B0{r}:
104 B1{dec(r)}