def writes
import ezx@1.11.0.0/src/lock/plan.bend as Planimport Base
1043# whether a plan writes, lays or removes anything at all
1044def writes(pl: Plan) -> Bool:
1045 Plan{es, _outcome} = pl
1046 writes.in(es)
Uses (3)
Used by (0)
No other definition uses this definition.