def Vec3.dist

import bend-prot@0.1.0.0/geom.bend as Geom

import Base

34def Vec3.dist(+a: Vec3, +b: Vec3) -> F32:
35  F32.sqrt(Vec3.dist2(a, b))

Uses (4)