law future_deadline

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

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

46# Every positive planner branch returns a deadline strictly beyond completion.
47law future_deadline:
48  for +previous: Nat
49  for +completion: Nat
50  for +p: Nat
51  for cadence: R.Cadence
52  {Nat.is_lt(completion, R.next(R.positive(cadence, previous, completion, 1n+p))) == True{} : Bool}