ChangeTick.show: def of bendvy-ecs-core@0.1.0.3 Import: import bendvy-ecs-core@0.1.0.3/change_tick.bend as ChangeTick Lines 82-85 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=82&end_line=85 import Base # Detached full-timestamp diagnostic; the epoch is never discarded. def show(tick:Tick) -> String: match tick: case Tick{epoch,low}:Nat.show(epoch) ++ ":" ++ U32.show(low) Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.show https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.show https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/change_tick.bend&name=Tick