Bonded.bond_neighbors_go: def of bend-prot@0.1.0.0
Import: import bend-prot@0.1.0.0/bonded.bend as Bonded
Lines 144-153 of bend-prot@0.1.0.0/bonded.bend: https://jend.leeeet.dev/read.txt?path=bend-prot@0.1.0.0/bonded.bend&start_line=144&end_line=153

import Base

def bond_neighbors_go(bs: List<&2, U32>, +s: U32, +acc: List<&2, U32>) -> List<&2, U32>:
  match bs:
    case Nil{}:
      List.reverse(&2, U32, acc)
    case x <> Nil{}:
      List.reverse(&2, U32, acc)
    case x <> y <> t:
      +x2 = x
      +y2 = y
      bond_neighbors_go(t, s, Bool.pick(List<&2, U32>, U32.is_eq(x2, s), y2 <> acc, Bool.pick(List<&2, U32>, U32.is_eq(y2, s), x2 <> acc, acc)))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.reverse
  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