Re.digits: def of yaml-for-bend@0.1.1.0
Import: import yaml-for-bend@0.1.1.0/re.bend as Re
Lines 123-124 of yaml-for-bend@0.1.1.0/re.bend: https://jend.leeeet.dev/read.txt?path=yaml-for-bend@0.1.1.0/re.bend&start_line=123&end_line=124

import Base

def digits() -> Pat:
  Plus{One{Digit{}}}

Uses (2):
  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