Yaml11.time.pat: def of yaml-for-bend@0.1.1.0
Import: import yaml-for-bend@0.1.1.0/yaml11.bend as Yaml11
Lines 79-83 of yaml-for-bend@0.1.1.0/yaml11.bend: https://jend.leeeet.dev/read.txt?path=yaml-for-bend@0.1.1.0/yaml11.bend&start_line=79&end_line=83

import Base
import yaml-for-bend@0.1.1.0/re.bend as R

def time.pat() -> List<&2, R.Pat>:
  [d(), d(), d(), d(), R.c('-'), d(), R.Opt{d()}, R.c('-'), d(), R.Opt{d()},
   R.Alt{[[R.of("Tt")], [R.Plus{blank()}]]}, d(), R.Opt{d()}, R.c(':'), d(), d(), R.c(':'), d(), d(),
   R.Opt{R.seq([R.c('.'), R.Star{d()}])},
   R.Opt{R.seq([R.Star{blank()}, R.Alt{[[R.c('Z')], [R.of("-+"), d(), R.Opt{d()}, R.Opt{R.seq([R.c(':'), d(), d()])}]]}])}]

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/re.bend&name=Pat
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/re.bend&name=c
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/re.bend&name=of
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/re.bend&name=seq
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/yaml11.bend&name=blank
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/yaml11.bend&name=d