def swap_rows.when
import unified-nsga-iii@0.2.2.0/normalization.bend as Normalizationimport Base
250def swap_rows.when(+mat: List<&2, List<&2, F32>>, +i: Nat, +k: Nat, same: Bool) -> List<&2, List<&2, F32>>:
251 match same:
252 case True{}:
253 mat
254 case False{}:
255 swap_rows.do(mat, i, k)