Plan.files: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/init/plan.bend as Plan
Lines 193-204 of ezx@1.11.0.0/src/init/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/init/plan.bend&start_line=193&end_line=204

import Base
import ezx@1.11.0.0/src/lock/plan.bend as P

# the files written after the ledger and the ignore rules: the library and
# the stub, each when it is due
def files(
  +name: String,
  +at: String,
  +desc: String,
  main: Maybe<&2, String>,
  lib: Maybe<&2, String>
) -> List<&2, P.Effect>:
  +d = due(main, at)
  +l = lays(lib, d, at)
  lib.put(l, main.put(d, at, stub(name, desc, l), []))

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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/init/plan.bend&name=due
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/init/plan.bend&name=lays
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/init/plan.bend&name=lib.put
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/init/plan.bend&name=main.put
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/init/plan.bend&name=stub
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=Effect