def pair_head
import bend-prot@0.1.0.0/rmsd.bend as Rmsdimport Base
import bend-prot@0.1.0.0/protein.bend as P
16def pair_head(x: P.Atom, y: P.Atom, rest: F32 & Nat) -> F32 & Nat:
17 match x:
18 case P.Atom{s1, e1, +p1}:
19 pair_head_go(p1, y, rest)