~/jendhub

def sum_count_extend_go

bend-prot@0.1.0.0 · protein.bend:58

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

58def sum_count_extend_go(pos: G.Vec3, rest: G.Vec3 & Nat) -> G.Vec3 & Nat:
59  match rest:
60    case (rest_sum, rest_n):
61      (G.Vec3.add(pos, rest_sum), 1n+rest_n)

Uses (5)

Used by (1)