def Wall.micro
import bend-kube-runtime@0.2.0.0/src/time.bend as Timeimport Base
92# "YYYY-MM-DDTHH:MM:SS.ffffffZ" (metav1.MicroTime).
93def Wall.micro(w: Wall) -> String:
94 match w:
95 case Wall{d, +s, +us}:
96 Time.date(Time.civil(d)) ++ "T" ++ Time.clock(s) ++ "." ++ Time.pad(us, 6n) ++ "Z"