def in_ref.ok
import unified-nsga-iii@0.2.2.0/survival.bend as Survivalimport Base
450def in_ref.ok(+ctx: RefPick, +i: Nat) -> Bool:
451 match ctx:
452 case RP{asgs, r}:
453 Nat.is_eq(asg_ref(get_asg(asgs, i)), r)
import unified-nsga-iii@0.2.2.0/survival.bend as Survivalimport Base
450def in_ref.ok(+ctx: RefPick, +i: Nat) -> Bool:
451 match ctx:
452 case RP{asgs, r}:
453 Nat.is_eq(asg_ref(get_asg(asgs, i)), r)