def Wall.id
import bend-kube-runtime@0.2.0.0/src/time.bend as Timeimport Base
111# A decimal stamp unique to the microsecond, for names.
112def Wall.id(w: Wall) -> String:
113 match w:
114 case Wall{d, +s, +us}:
115 U32.show(d) ++ Time.pad(s, 5n) ++ Time.pad(us, 6n)