Rmsd.pair_sumd2: def of bend-prot@0.1.0.0
Import: import bend-prot@0.1.0.0/rmsd.bend as Rmsd
Lines 21-30 of bend-prot@0.1.0.0/rmsd.bend: https://jend.leeeet.dev/read.txt?path=bend-prot@0.1.0.0/rmsd.bend&start_line=21&end_line=30

import Base
import bend-prot@0.1.0.0/protein.bend as P

def pair_sumd2(xs: List<&2, P.Atom>, ys: List<&2, P.Atom>) -> F32 & Nat:
  match xs ys:
    case Nil{} Nil{}:
      (0.0, 0n)
    case Nil{} qh <> qt:
      (0.0, 0n)
    case h <> t Nil{}:
      (0.0, 0n)
    case x <> xt y <> yt:
      pair_head(x, y, pair_sumd2(xt, yt))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  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=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=bend-prot@0.1.0.0/protein.bend&name=Atom
  https://jend.leeeet.dev/definition.txt?path=bend-prot@0.1.0.0/rmsd.bend&name=pair_head