Tpl.tpl_has_scan: def of bend-prot@0.1.0.0
Import: import bend-prot@0.1.0.0/tpl.bend as Tpl
Lines 21-28 of bend-prot@0.1.0.0/tpl.bend: https://jend.leeeet.dev/read.txt?path=bend-prot@0.1.0.0/tpl.bend&start_line=21&end_line=28

import Base

def tpl_has_scan(bs: List<&2, String>, +n1: String, +n2: String) -> Bool:
  match bs:
    case Nil{}:
      False{}
    case x <> Nil{}:
      False{}
    case x <> y <> t:
      Bool.or(tpl_bond_match(n1, n2, x, y), tpl_has_scan(t, n1, n2))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-prot@0.1.0.0/tpl.bend&name=tpl_bond_match