def Compiler.compile (config : Config := default) (flavor : Regex.Syntax.Flavor) (expr : Regex.Syntax.Hir) : NFA.Checked.NFA

Compile the HIR expression given.

Equations

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