def mul
import bend-lawful-stdlib@0.1.0.0/src/float/bin.bend as Binimport Base
132def mul(a: Bin, +b: Bin) -> Bin:
133 match a:
134 case BZ{}:
135 BZ{}
136 case B0{r}:
137 B0{mul(r, b)}
138 case B1{r}:
139 add(b, B0{mul(r, b)})