law fixed_delay

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

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

10law fixed_delay:
11  for previous: Nat
12  for completion: Nat
13  for p: Nat
14  {R.plan(previous, completion, 1n+p, R.FixedDelay{}) ==
15    Some{R.Planned{Nil{}, Nat.add(completion, 1n+p)}} : Maybe<&2, R.Plan>}