Bin.trim: def of bend-lawful-stdlib@0.1.0.0
Import: import bend-lawful-stdlib@0.1.0.0/src/float/bin.bend as Bin
Lines 37-45 of bend-lawful-stdlib@0.1.0.0/src/float/bin.bend: https://jend.leeeet.dev/read.txt?path=bend-lawful-stdlib@0.1.0.0/src/float/bin.bend&start_line=37&end_line=45

import Base

# the same number without high zero bits, so equal numbers are equal terms
def trim(a: Bin) -> Bin:
  match a:
    case BZ{}:
      BZ{}
    case B0{r}:
      trim.cons0(trim(r))
    case B1{r}:
      B1{trim(r)}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=bend-lawful-stdlib@0.1.0.0/src/float/bin.bend&name=Bin
  https://jend.leeeet.dev/definition.txt?path=bend-lawful-stdlib@0.1.0.0/src/float/bin.bend&name=trim.cons0