Time.Time.parse: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/time.bend as Time
Lines 152-157 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=152&end_line=157

import Base

# Seconds since the epoch of "YYYY-MM-DDTHH:MM:SS[.fff]Z" (metav1.Time and
# MicroTime; the fraction is dropped), or None.
def Time.parse(+s: String) -> Maybe<&2, U32>:
  Time.parse.go(U32.read(Time.sub(s, 0n, 4n)), U32.read(Time.sub(s, 5n, 2n)),
    U32.read(Time.sub(s, 8n, 2n)), U32.read(Time.sub(s, 11n, 2n)), U32.read(Time.sub(s, 14n, 2n)),
    U32.read(Time.sub(s, 17n, 2n)), Time.parse.seps(s))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.read
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/time.bend&name=Time.parse.go
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/time.bend&name=Time.parse.seps
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/time.bend&name=Time.sub