def insert_before

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

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

import Base

884def insert_before(acc: List<&2, Bag>, +b: Bag) -> Bool:
885  match acc:
886    case Nil{}:
887      True{}
888    case +h <> _:
889      Nat.is_le(head_pos(b), head_pos(h))

Uses (5)

Used by (2)