def retry

cswap-bend-cli@0.1.0.0 · daemon/walk.bend:256

import cswap-bend-cli@0.1.0.0/daemon/walk.bend as Walk
import Base
import cswap-bend-cli@0.1.0.0/act.bend as Act

256def retry(w: W, mv: Move) -> Act.of(Move):
257  match mv:
258    case MDone{o}:
259      Act.pure(Move, MDone{o})
260    case MRetry{tr}:
261      attempt(w, tr)

Uses (5)

Used by (1)