~/jendhub

def valid_newer

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

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

71def valid_newer(valid:Bool,stamp:Tick,last:Tick,+this:Tick) -> Bool:
72  match valid:
73    case False{}:False{}
74    case True{}:U32.is_gt(age(last,this),age(stamp,this))

Uses (4)

Used by (1)