Core.float.pat: def of yaml-for-bend@0.1.1.0
Import: import yaml-for-bend@0.1.1.0/core.bend as Core
Lines 46-49 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=46&end_line=49

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

# [-+]?(\.[0-9]+|[0-9]+(\.[0-9]*)?)([eE][-+]?[0-9]+)?
def float.pat() -> List<&2, R.Pat>:
  [R.sign(), R.Alt{[[R.c('.'), R.digits()], [R.digits(), R.Opt{R.seq([R.c('.'), R.Star{R.digit()}])}]]},
   R.Opt{R.seq([R.of("eE"), R.sign(), R.digits()])}]

Uses (9):
  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=digit
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/re.bend&name=digits
  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/re.bend&name=sign