Function separation

pub fn separation(
    a: &ConvexShape,
    b: &ConvexShape,
    tolerance: Scalar,
) -> SeparationResult

Find a separating axis between two convex shapes, or prove none exists.

tolerance is the gap below which two projections count as touching rather than apart, and the length below which a candidate axis is treated as degenerate and skipped.