pub fn boolean(
a: &ManifoldImpl,
b: &ManifoldImpl,
op: OpType,
token: Option<&CancelToken>,
) -> ManifoldImplExpand description
Robust boolean of two impls (manifold or soup). Same observable contract
as boolean3::boolean_with_token: intersect exactly, arrange +
retriangulate, build the arrangement’s cell complex, propagate winding
numbers, and keep the walls the operation’s predicate separates.
Every operation is one predicate on a cell’s winding vector, so Subtract
needs no operand flip — it is simply “inside P and not inside Q”.