runFor — Mathlib

English

Definition: runFor c n gives the result of c after n steps, or none if it does not terminate.

Русский

Определение: runFor c n возвращает результат после n шагов или none, если завершение не произошло.

LaTeX

$$$\\text{runFor}(c,n) = \\text{Option}\\;\\alpha$ — результат вычисления c после n шагов или none.$$

Lean4

/-- `runFor c n` evaluates `c` for `n` steps and returns the result, or `none`
  if it did not terminate after `n` steps. -/
def runFor : Computation α → ℕ → Option α :=
  Subtype.val

Похожие утверждения