def finish

cswap-bend-cli@0.1.0.0 · clock.bend:214

import Base

214def finish(ok: Bool, +local: U32, off: Maybe<&2, U32>) -> Maybe<&2, U32>:
215  match ok off:
216    case False{} _:
217      None{}
218    case True{} None{}:
219      None{}
220    case True{} Some{o}:
221      Some{shift(local, o)}