def total

bendvy-ecs-core@0.1.0.4 · change_tick.bend:32

import Base

32# Monotone logical ordinal for existing Nat-based observation/runtime domains.
33# Backend Nat representation limits still apply to consumers of this projection.
34def total(tick:Tick) -> Nat:
35  match tick:
36    case Tick{epoch,value}:Nat.add(Nat.mul(epoch,1n+4294967295n),U32.to_nat(value))