Tpl.tpl_one: def of bend-prot@0.1.0.0
Import: import bend-prot@0.1.0.0/tpl.bend as Tpl
Lines 36-39 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=36&end_line=39

import Base

def tpl_one(a: TplAtom, h: TplAtom) -> List<&1, U32 & U32>:
  match a h:
    case TA{sa, ca, qa, ra, na} TA{sb, cb, qb, rb, nb}:
      Bool.pick(List<&1, U32 & U32>, tpl_bonded(ra, na, ca, qa, rb, nb, cb, qb), [(sa, sb)], Nil{})

Uses (7):
  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=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-prot@0.1.0.0/tpl.bend&name=TplAtom
  https://jend.leeeet.dev/definition.txt?path=bend-prot@0.1.0.0/tpl.bend&name=tpl_bonded