pub fn merge_warmstart_teacher_trace_deterministic(
traces: &mut Vec<WarmStartExactJhTeacherTrace>,
trace: WarmStartExactJhTeacherTrace,
) -> boolExpand description
Merge one teacher trace into traces, preserving deterministic lexicographic order.