def accepted

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

import Base

32def accepted(-S: Type, -P: Type, -R: Type, -E: Type, rr: R & R, s2: S, p: P, at: U32, es: List<E>) -> Step<S, P, R, E>:
33  (r, r2) = rr
34  Write{s2, Record{p, Accepted{r}, at}, Fresh{Accepted{r2}}, es}