def in_bin_count

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

import Base
import unified-nsga-iii@0.2.2.0/util.bend as Util

320# Assignments whose reference_index lands in a length-n histogram.
321# Out-of-range refs are silent no-ops in inc_at / List.set.
322def in_bin_count(asgs: List<&2, Assignment>, +n: Nat) -> Nat:
323  match asgs:
324    case Nil{}:
325      0n
326    case +a <> rest:
327      Nat.add(Util.bin_hit(asg_ref(a), n), in_bin_count(rest, n))