def insert_pick

cswap-bend-cli@0.1.0.0 · store/seq.bend:135

import Base

135def insert_pick(+lt: Bool, +eq: Bool, +n: U32, +h: U32, +t: List<&2, U32>, +ins: List<&2, U32>) -> List<&2, U32>:
136  match lt eq:
137    case True{} _:
138      n <> h <> t
139    case False{} True{}:
140      h <> t
141    case False{} False{}:
142      h <> ins