Core.oct.pat: def of yaml-for-bend@0.1.1.0
Import: import yaml-for-bend@0.1.1.0/core.bend as Core
Lines 40-41 of yaml-for-bend@0.1.1.0/core.bend: https://jend.leeeet.dev/read.txt?path=yaml-for-bend@0.1.1.0/core.bend&start_line=40&end_line=41

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

def oct.pat() -> List<&2, R.Pat>:
  [R.c('0'), R.c('o'), R.Plus{R.One{R.Range{'0', '7'}}}]

Uses (5):
  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=Cls
  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