Module argument_validation 

Small, standalone checks for the euler operators’ own arguments — e.g. “does this pcurve actually start/end where the caller claims” — as opposed to super::validation, which checks a whole super::Model for internal consistency. Each check lives in its own file.

Functions

validate_curve_start_and_end

validate_different_loop

Validates that coedge1 and coedge2 lie on different boundary loops (the inverse precondition of validate_same_loop).

validate_pcurve_start_and_end

validate_same_loop

Validates that coedge2 lies on the loop traced by following next from coedge1 (i.e. they bound the same face boundary loop).