~/jendhub

def show

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

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

82# Detached full-timestamp diagnostic; the epoch is never discarded.
83def show(tick:Tick) -> String:
84  match tick:
85    case Tick{epoch,low}:Nat.show(epoch) ++ ":" ++ U32.show(low)

Uses (5)

Used by (1)