1 import Base 2 import entity_key.bend as K 3 4 def show(key:K.Key) -> String: 5 match key: 6 case K.EntityKey{index,generation}:U32.show(index) ++ ":" ++ U32.show(generation)