~/jendhub

def refused

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

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

36def refused(-S: Type, -P: Type, -R: Type, -E: Type, rr: R & R, p: P, at: U32) -> Step<S, P, R, E>:
37  (r, r2) = rr
38  Note{Record{p, Refused{r}, at}, Fresh{Refused{r2}}}

Uses (7)

Used by (1)