def split_cat

unified-nsga-iii@0.2.2.0 · non_dominated_sort.bend:204

import Base

204def split_cat(a: Split, b: Split) -> Split:
205  match a b:
206    case Split{ff1, ot1} Split{ff2, ot2}:
207      Split{List.append(&2, Nat, ff1, ff2), List.append(&2, Row, ot1, ot2)}