def reverse.ok

bend-kit-regex@0.8.0.0 · regex.bend:591

import Base

591def reverse.ok(n: Node) -> Bool:
592  match n:
593    case NAssert{k}:
594      False{}
595    case NCat{a, b}:
596      reverse.ok(a) && reverse.ok(b)
597    case NAlt{a, b}:
598      reverse.ok(a) && reverse.ok(b)
599    case NPlus{g, a}:
600      reverse.ok(a)
601    case NQuest{g, a}:
602      reverse.ok(a)
603    case NGroup{i, a}:
604      reverse.ok(a)
605    case _:
606      True{}