Up.effect.back: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/up.bend as Up
Lines 251-263 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=251&end_line=263

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

# one effect of the plan: the write of ez.toml replaced by the ledgers'
def effect.back(effect: LP.Effect, +ws: List<&2, LP.Effect>, rest: List<&2, LP.Effect>) -> List<&2, LP.Effect>:
  match effect:
    case LP.Write{+at, text}:
      effect.write(String.eq(at, "ez.toml"), at, text, ws, rest)
    case LP.Lay{pl, hash, files}:
      LP.Lay{pl, hash, files} <> rest
    case LP.Drop{hash}:
      LP.Drop{hash} <> rest
    case LP.Say{text}:
      LP.Say{text} <> rest
    case LP.Name{nv, hash}:
      LP.Name{nv, hash} <> rest

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=Effect
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/up.bend&name=effect.write