law replay_bounded

bend-kit-scheduler@0.4.1.0 · recurrence_laws.bend:38

import Base
import bend-kit-scheduler@0.4.1.0/recurrence.bend as R

38law replay_bounded:
39  for +previous: Nat
40  for +completion: Nat
41  for +p: Nat
42  for +bound: Nat
43  {Nat.is_le(List.length(&2, Nat, R.replay(R.positive(R.FixedRate{R.CatchUp{bound}},
44    previous, completion, 1n+p))), bound) == True{} : Bool}