def head_pos

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

import Base

879def head_pos(b: Bag) -> Nat:
880  match b:
881    case Bag{ref, count, +members}:
882      head_pos.ms(members)