Sys.Sys.wall: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/sys.bend as Sys
Lines 8-12 of bend-kube-runtime@0.2.0.0/src/sys.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/sys.bend&start_line=8&end_line=12

import Base

# The wall clock: (days since 1970-01-01, (second of the day,
# microseconds)). time.bend's Wall.of makes it a Wall.
def Sys.wall() -> IO(U32 & (U32 & U32)):
  import "./effs/sys.c"
  import "./effs/sys.js"

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32