Lock.doc: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/lock.bend as Lock
Lines 514-518 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=514&end_line=518

import Base
import ezx@1.11.0.0/src/toml/toml.bend as T

# the lock as a document: what resolved it, then every package it resolved,
# in hash order. `render` writes its text a block at a time; that the two
# agree is lock/LAWS.bend's `render_is_doc`.
def doc(hub: String, ps: List<&2, Pack>) -> List<&2, T.Sect>:
  List.append(&2, T.Sect, [lock.sect(hub)], pack.all(pack.sort(ps)))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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=lock.sect
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/lock.bend&name=pack.all
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/lock.bend&name=pack.sort
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/toml/toml.bend&name=Sect