def centroid_of_sum

bend-prot@0.1.0.0 · protein.bend:83

import Base
import bend-prot@0.1.0.0/geom.bend as G

83def centroid_of_sum(pair: G.Vec3 & Nat) -> G.Vec3:
84  match pair:
85    case (sum, n):
86      centroid_of_sum_go(sum, n)