Shrink.nat.go: def of bend-kit-property@0.4.0.0
Import: import bend-kit-property@0.4.0.0/shrink.bend as Shrink
Lines 28-36 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=28&end_line=36

import Base

def nat.go(f: Nat, stop: Bool, +n: Nat, +d: Nat) -> List<&1, Nat>:
  match f stop:
    case 0n _:
      Nil{}
    case 1n+p True{}:
      Nil{}
    case 1n+p False{}:
      +h = Nat.div(d, 2n)
      (n - d : Nat) <> nat.go(p, Nat.is_eq(h, 0n), n, h)

Uses (6):
  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=Nat.div
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.sub