law accepted_positive

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

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

83# Exposed validation entry point is connected to the planner used by safety laws.
84law accepted_positive:
85  for +previous: Nat
86  for +completion: Nat
87  for +p: Nat
88  for +cadence: R.Cadence
89  {R.plan(previous, completion, 1n+p, cadence) ==
90    Some{R.positive(cadence, previous, completion, 1n+p)} : Maybe<&2, R.Plan>}