def writes.in

ezx@1.11.0.0 · src/lock/plan.bend:1034

import Base

1034# whether a plan writes, lays or removes anything
1035def writes.in(es: List<&2, Effect>) -> Bool:
1036  match es:
1037    case []:
1038      False{}
1039    case e <> t:
1040      +rest = writes.in(t)
1041      Bool.or(writes.one(e), rest)