def cons
import bend-lawful-stdlib@0.1.0.0/src/float/bin.bend as Binimport Base
63def cons(s: Bool, r: Bin) -> Bin:
64 match s:
65 case False{}:
66 B0{r}
67 case True{}:
68 B1{r}
import bend-lawful-stdlib@0.1.0.0/src/float/bin.bend as Binimport Base
63def cons(s: Bool, r: Bin) -> Bin:
64 match s:
65 case False{}:
66 B0{r}
67 case True{}:
68 B1{r}