def float.pat
import yaml-for-bend@0.1.1.0/core.bend as Coreimport Base
import yaml-for-bend@0.1.1.0/re.bend as R
46# [-+]?(\.[0-9]+|[0-9]+(\.[0-9]*)?)([eE][-+]?[0-9]+)?
47def float.pat() -> List<&2, R.Pat>:
48 [R.sign(), R.Alt{[[R.c('.'), R.digits()], [R.digits(), R.Opt{R.seq([R.c('.'), R.Star{R.digit()}])}]]},
49 R.Opt{R.seq([R.of("eE"), R.sign(), R.digits()])}]