def dec

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

import bend-lawful-stdlib@0.1.0.0/src/float/bin.bend as Bin
import 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)}

Uses (1)

Used by (1)