Up.effect.write: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/up.bend as Up
Lines 237-249 of ezx@1.11.0.0/src/ws/up.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/up.bend&start_line=237&end_line=249

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

# a write kept, or, when it is of ez.toml, the ledgers' in its place
def effect.write(
  hit: Bool,
  at: String,
  text: String,
  ws: List<&2, LP.Effect>,
  rest: List<&2, LP.Effect>
) -> List<&2, LP.Effect>:
  match hit:
    case True{}:
      List.append(&2, LP.Effect, ws, rest)
    case False{}:
      LP.Write{at, text} <> rest

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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/plan.bend&name=Effect