def fresh

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

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

import Base

47def fresh(
48  ~S: Type, ~P: Type, ~R: Type, ~E: Type, ~dup_r: R -> R & R, ~decide: S -> P -> Decision<S, R, E>,
49  pp: P & P, s: S, at: U32
50) -> Step<S, P, R, E>:
51  (p, p2) = pp
52  decided(~S, ~P, ~R, ~E, ~dup_r, decide(s, p), p2, at)

Uses (6)

Used by (1)

bend-kit-commands@0.4.0.0/commands:step