def head_pos.ms

unified-nsga-iii@0.2.2.0 · survival.bend:872

import Base

872def head_pos.ms(ms: List<&2, MRow>) -> Nat:
873  match ms:
874    case Nil{}:
875      4294967295n
876    case MRow{+pos, row} <> _:
877      pos