def head_is_ref

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

import unified-nsga-iii@0.2.2.0/survival.bend as Survival

import Base

737def head_is_ref(bags: List<&2, Bag>, +r: Nat) -> Bool:
738  match bags:
739    case Nil{}:
740      False{}
741    case Bag{+ref, count, members} <> _:
742      Nat.is_eq(ref, r)

Uses (5)

Used by (8)