Shrink.u32.go: def of bend-kit-property@0.4.0.0
Import: import bend-kit-property@0.4.0.0/shrink.bend as Shrink
Lines 12-21 of bend-kit-property@0.4.0.0/shrink.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-property@0.4.0.0/shrink.bend&start_line=12&end_line=21

import Base

# (n - d), then (n - d/2), ..., while d > 0; stop tells whether d is 0.
def u32.go(f: Nat, stop: Bool, +n: U32, +d: U32) -> List<&1, U32>:
  match f stop:
    case 0n _:
      Nil{}
    case 1n+p True{}:
      Nil{}
    case 1n+p False{}:
      +h = (d >> 1n : U32)
      (n - d : U32) <> u32.go(p, U32.is_eq(h, 0), n, h)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.shrn
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub