def files
import ezx@1.11.0.0/src/init/plan.bend as Planimport Base
import ezx@1.11.0.0/src/lock/plan.bend as P
193# the files written after the ledger and the ignore rules: the library and
194# the stub, each when it is due
195def files(
196 +name: String,
197 +at: String,
198 +desc: String,
199 main: Maybe<&2, String>,
200 lib: Maybe<&2, String>
201) -> List<&2, P.Effect>:
202 +d = due(main, at)
203 +l = lays(lib, d, at)
204 lib.put(l, main.put(d, at, stub(name, desc, l), []))