def sum_count_extend
import bend-prot@0.1.0.0/protein.bend as Proteinimport Base
import bend-prot@0.1.0.0/geom.bend as G
63def sum_count_extend(h: Atom, rest: G.Vec3 & Nat) -> G.Vec3 & Nat:
64 match h:
65 case Atom{serial, elem, pos}:
66 sum_count_extend_go(pos, rest)