Protein.sum_count_extend_go: def of bend-prot@0.1.0.0
Import: import bend-prot@0.1.0.0/protein.bend as Protein
Lines 58-61 of bend-prot@0.1.0.0/protein.bend: https://jend.leeeet.dev/read.txt?path=bend-prot@0.1.0.0/protein.bend&start_line=58&end_line=61

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

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

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=bend-prot@0.1.0.0/geom.bend&name=Vec3
  https://jend.leeeet.dev/definition.txt?path=bend-prot@0.1.0.0/geom.bend&name=Vec3.add