law no_wrapping

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

import Base

65# Addition is monotone on arbitrary Nat: deadlines never wrap below their origin.
66law no_wrapping:
67  for +origin: Nat
68  for period: Nat
69  {Nat.is_le(origin, Nat.add(origin, period)) == True{} : Bool}