~/jendhub

def pack.ins

ezx@1.11.0.0 · src/lock/lock.bend:487

import ezx@1.11.0.0/src/lock/lock.bend as Lock
import Base

487# a package inserted into a list already in hash order
488def pack.ins(ps: List<&2, Pack>, +item: Pack) -> List<&2, Pack>:
489  match ps:
490    case []:
491      [item]
492    case Con{+h, +t}:
493      pack.ins.put(pack.le(item, h), item, h, t, pack.ins(t, item))

Uses (4)

Used by (1)