law invalid_zero

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

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

4law invalid_zero:
5  for previous: Nat
6  for completion: Nat
7  for cadence: R.Cadence
8  {R.plan(previous, completion, 0n, cadence) == None{} : Maybe<&2, R.Plan>}