Lock.pack.ins: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/lock.bend as Lock
Lines 487-493 of ezx@1.11.0.0/src/lock/lock.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/lock.bend&start_line=487&end_line=493

import Base

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

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/lock.bend&name=Pack
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/lock.bend&name=pack.ins.put
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/lock.bend&name=pack.le