pub fn signed_line_distance(p: &PointExpr, a: &PointExpr, b: &PointExpr) -> Expr
Signed distance from p to the line a → b (positive on the left).
p
a → b