Plan.writes.one: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/plan.bend as Plan
Lines 1020-1032 of ezx@1.11.0.0/src/lock/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/plan.bend&start_line=1020&end_line=1032

import Base

# whether an effect writes, lays or removes anything
def writes.one(effect: Effect) -> Bool:
  match effect:
    case Write{_at, _text}:
      True{}
    case Lay{_place, _hash, _files}:
      True{}
    case Drop{_hash}:
      True{}
    case Say{_text}:
      False{}
    case Name{_nv, _hash}:
      True{}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=Effect