def is_zero
import bend-lawful-stdlib@0.1.0.0/src/float/bin.bend as Binimport Base
21def is_zero(a: Bin) -> Bool:
22 match a:
23 case BZ{}:
24 True{}
25 case B0{r}:
26 is_zero(r)
27 case B1{r}:
28 False{}
import bend-lawful-stdlib@0.1.0.0/src/float/bin.bend as Binimport Base
21def is_zero(a: Bin) -> Bool:
22 match a:
23 case BZ{}:
24 True{}
25 case B0{r}:
26 is_zero(r)
27 case B1{r}:
28 False{}