Time.Wall.micro: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/time.bend as Time
Lines 92-96 of bend-kube-runtime@0.2.0.0/src/time.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/time.bend&start_line=92&end_line=96

import Base

# "YYYY-MM-DDTHH:MM:SS.ffffffZ" (metav1.MicroTime).
def Wall.micro(w: Wall) -> String:
  match w:
    case Wall{d, +s, +us}:
      Time.date(Time.civil(d)) ++ "T" ++ Time.clock(s) ++ "." ++ Time.pad(us, 6n) ++ "Z"

Uses (7):
  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=bend-kube-runtime@0.2.0.0/src/time.bend&name=Time.civil
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/time.bend&name=Time.clock
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/time.bend&name=Time.date
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/time.bend&name=Time.pad
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/time.bend&name=Wall