Geom.Vec3.tri_area2: def of bend-prot@0.1.0.0
Import: import bend-prot@0.1.0.0/geom.bend as Geom
Lines 70-72 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=70&end_line=72

import Base

# Squared area of triangle (a, b, c): |cross(b-a, c-a)|^2 / 4.
def Vec3.tri_area2(+a: Vec3, +b: Vec3, +c: Vec3) -> F32:
  (Vec3.norm2(Vec3.cross(Vec3.sub(b, a), Vec3.sub(c, a))) / 4.0 : F32)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.div
  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.cross
  https://jend.leeeet.dev/definition.txt?path=bend-prot@0.1.0.0/geom.bend&name=Vec3.norm2
  https://jend.leeeet.dev/definition.txt?path=bend-prot@0.1.0.0/geom.bend&name=Vec3.sub