Shrink.list: def of bend-kit-property@0.4.0.0
Import: import bend-kit-property@0.4.0.0/shrink.bend as Shrink
Lines 90-95 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=90&end_line=95

import Base

# [], chunk deletions (halves down to single elements), then single-element simplifications.
def list(~A: Data, ~shrink: A -> List<&1, A>, xs: List<&2, A>) -> List<&1, List<&2, A>>:
  +ys = xs
  +n = List.length(&2, A, ys)
  List.append(&1, List<&2, A>, list.dels(A, n, Nat.is_eq(n, 0n), n, n, ys),
    list.ones(~A, ~shrink, ys))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.length
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_eq
  https://jend.leeeet.dev/definition.txt?path=bend-kit-property@0.4.0.0/shrink.bend&name=list.dels
  https://jend.leeeet.dev/definition.txt?path=bend-kit-property@0.4.0.0/shrink.bend&name=list.ones