def not_future

bendvy-ecs-core@0.1.0.3 · change_tick.bend:43

import Base

43# Explicit validity of a timestamp relative to this execution. Future values
44# are not made recent by saturating Nat subtraction.
45def not_future(stamp:Tick,this:Tick) -> Bool:
46  match stamp this:
47    case Tick{+se,sl} Tick{+te,tl}:ordered_epochs(Nat.is_eq(se,te),Nat.is_lt(se,te),sl,tl)