#[unsafe(no_mangle)]pub unsafe extern "C" fn lanes_validate_structure(
prog: *const LANESProgram,
out: *mut *mut LANESValidationErrors,
) -> LanesStatusExpand description
Structural validation (arity bounds, initial_fill ordering, etc.)
#[unsafe(no_mangle)]pub unsafe extern "C" fn lanes_validate_structure(
prog: *const LANESProgram,
out: *mut *mut LANESValidationErrors,
) -> LanesStatusStructural validation (arity bounds, initial_fill ordering, etc.)