Idris2Doc
: Text.ILex.Internal.DFA
Index
Default
Alternative
Black & White
Text.ILex.Internal.DFA
(
source
)
Definitions
toDFA
:
DFAState
s
a
=>
TokenMap8
a
->
F1
s
(
List
(
Nat
,
Node
))
Visibility
:
export