def trim

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

import Base

37# the same number without high zero bits, so equal numbers are equal terms
38def trim(a: Bin) -> Bin:
39  match a:
40    case BZ{}:
41      BZ{}
42    case B0{r}:
43      trim.cons0(trim(r))
44    case B1{r}:
45      B1{trim(r)}