Idris2Doc : Text.ILex.Internal.ENFA

Text.ILex.Internal.ENFA

(source)

Definitions

toENFA : DFAStatesa=>TokenMap8a->F1's
  Compiles an expression to a graph with epsilon transitions

Totality: total
Visibility: export
debugENFA : DFAStatesa=>TokenMap8a->F1s (List (Nat, ENode))
Totality: total
Visibility: export