Geom.Vec3.midpoint: def of bend-prot@0.1.0.0
Import: import bend-prot@0.1.0.0/geom.bend as Geom
Lines 37-38 of bend-prot@0.1.0.0/geom.bend: https://jend.leeeet.dev/read.txt?path=bend-prot@0.1.0.0/geom.bend&start_line=37&end_line=38

import Base

def Vec3.midpoint(+a: Vec3, +b: Vec3) -> Vec3:
  Vec3.scale(0.5, Vec3.add(a, b))

Uses (3):
  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
  https://jend.leeeet.dev/definition.txt?path=bend-prot@0.1.0.0/geom.bend&name=Vec3.scale