ChangeTick.not_future: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/change_tick.bend as ChangeTick
Lines 43-47 of bendvy-ecs-core@0.1.0.3/change_tick.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/change_tick.bend&start_line=43&end_line=47

import Base

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

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_lt
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/change_tick.bend&name=Tick
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/change_tick.bend&name=ordered_epochs