def first_bag_ref

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

import Base

778def first_bag_ref(bags: List<&2, Bag>) -> Nat:
779  match bags:
780    case Nil{}:
781      0n
782    case Bag{+ref, count, members} <> _:
783      ref