def wf.flo.end

emerging-eztoml@0.9.0.0 · main.bend:6205

import Base

6205# a spelling ends after a fraction's digit or an exponent's digit
6206def wf.flo.end(st: Fl) -> Bool:
6207  match st:
6208    case FlFrac{}:
6209      True{}
6210    case FlExp{}:
6211      True{}
6212    case _:
6213      False{}