~/jendhub

def valid_age

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

import bendvy-ecs-core@0.1.0.3/change_tick.bend as ChangeTick
import Base

60def valid_age(valid:Bool,stamp:Tick,this:Tick) -> U32:
61  match valid stamp this:
62    case False{} _ _:max_change_age()
63    case True{} Tick{+se,sl} Tick{+te,tl}:distance(Nat.is_eq(se,te),Nat.is_eq(1n+se,te),sl,tl)

Uses (7)

Used by (1)