def decided

bend-kit-commands@0.4.0.0 · commands.bend:40

import bend-kit-commands@0.4.0.0/commands.bend as Commands

import Base

40def decided(~S: Type, ~P: Type, ~R: Type, ~E: Type, ~dup_r: R -> R & R, d: Decision<S, R, E>, p: P, at: U32) -> Step<S, P, R, E>:
41  match d:
42    case Accept{s2, r, es}:
43      accepted(S, P, R, E, dup_r(r), s2, p, at, es)
44    case Refuse{r}:
45      refused(S, P, R, E, dup_r(r), p, at)

Uses (6)

Used by (1)

bend-kit-commands@0.4.0.0/commands:fresh