Idris2Doc : Text.ILex.Internal.DFA

Text.ILex.Internal.DFA

(source)

Definitions

toDFA : DFAStatesa=>TokenMap8a->F1s (List (Nat, Node))
Visibility: export