def insert_sorted

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

import cswap-bend-cli@0.1.0.0/store/seq.bend as Seq

import Base

144def insert_sorted(+n: U32, +xs: List<&2, U32>) -> List<&2, U32>:
145  match xs:
146    case Nil{}:
147      [n]
148    case Con{h, t}:
149      insert_pick(U32.is_lt(n, h), U32.is_eq(n, h), n, h, t, insert_sorted(n, t))

Uses (5)

Used by (1)

cswap-bend-cli@0.1.0.0/store/seq:put_account