Translate

Rearrange alternatives and repetitions in a Syntax tree.

def Regex.Grammar.translate (x : Lean.TSyntax `sequence) : Except String (Lean.TSyntax `sequence)

Rearrange alternatives, character classes and repetitions in x.

Equations

• One or more equations did not get rendered due to their size.