def incremented

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

import Base

17def incremented(wrapped:Bool,epoch:Nat,low:U32) -> Tick:
18  match wrapped:
19    case False{}:Tick{epoch,U32.add(low,1)}
20    case True{}:Tick{1n+epoch,0}