def jump.keep

emerging-ezjson@1.3.0.0 · src/pull.bend:716

import Base

716# a finished event already carries its suffix. Anything else continues on `rest`
717def jump.keep(dropped: Bool, st: St) -> St:
718  match dropped st:
719    case d S{mode, stack, goal, done, bad}:
720      S{mode, stack, goal, done, bad}