Seq.insert_pick: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/store/seq.bend as Seq
Lines 135-142 of cswap-bend-cli@0.1.0.0/store/seq.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/store/seq.bend&start_line=135&end_line=142

import Base

def insert_pick(+lt: Bool, +eq: Bool, +n: U32, +h: U32, +t: List<&2, U32>, +ins: List<&2, U32>) -> List<&2, U32>:
  match lt eq:
    case True{} _:
      n <> h <> t
    case False{} True{}:
      h <> t
    case False{} False{}:
      h <> ins

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32