def effect.write
import ezx@1.11.0.0/src/ws/up.bend as Upimport Base
import ezx@1.11.0.0/src/lock/plan.bend as LP
237# a write kept, or, when it is of ez.toml, the ledgers' in its place
238def effect.write(
239 hit: Bool,
240 at: String,
241 text: String,
242 ws: List<&2, LP.Effect>,
243 rest: List<&2, LP.Effect>
244) -> List<&2, LP.Effect>:
245 match hit:
246 case True{}:
247 List.append(&2, LP.Effect, ws, rest)
248 case False{}:
249 LP.Write{at, text} <> rest