def put.pick

ezx@1.11.0.0 · src/ws/relock.bend:181

import ezx@1.11.0.0/src/ws/relock.bend as Relock
import Base
import ezx@1.11.0.0/src/ws/joint.bend as J

181# a listed ez.toml, once it is known whether it is the one the command writes
182def put.pick(hit: Bool, +path: String, was: String, +text: String, rest: List<&2, J.Found>) -> List<&2, J.Found>:
183  match hit:
184    case True{}:
185      J.Found{path, text} <> rest
186    case False{}:
187      J.Found{path, was} <> rest

Uses (4)

Used by (1)