def main.put

ezx@1.11.0.0 · src/init/plan.bend:177

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

177# the stub at the entry when it is due, ahead of the rest
178def main.put(due: Bool, +at: String, +text: String, rest: List<&2, P.Effect>) -> List<&2, P.Effect>:
179  match due:
180    case True{}:
181      P.Write{at, text} <> rest
182    case False{}:
183      rest