ChangeTick.total: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/change_tick.bend as ChangeTick
Lines 32-36 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=32&end_line=36

import Base

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

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.mul
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.to_nat
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/change_tick.bend&name=Tick