def pair_sumd2

bend-prot@0.1.0.0 · rmsd.bend:21

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

21def pair_sumd2(xs: List<&2, P.Atom>, ys: List<&2, P.Atom>) -> F32 & Nat:
22  match xs ys:
23    case Nil{} Nil{}:
24      (0.0, 0n)
25    case Nil{} qh <> qt:
26      (0.0, 0n)
27    case h <> t Nil{}:
28      (0.0, 0n)
29    case x <> xt y <> yt:
30      pair_head(x, y, pair_sumd2(xt, yt))

Uses (7)

Used by (4)