def move.put

ezx@1.11.0.0 · src/ws/moved.bend:119

import ezx@1.11.0.0/src/ws/moved.bend as Moved
import Base

119# a move kept, once it is known whether it is one
120def move.put(hit: Bool, +name: String, +old: String, +new: String, rest: List<&2, Shift>) -> List<&2, Shift>:
121  match hit:
122    case True{}:
123      Shift{name, old, new} <> rest
124    case False{}:
125      rest

Uses (4)

Used by (1)