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

Compile the HIR expression given.

Equations

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