IdrisDoc
: Text.Lexer.Core
Index
Text.Lexer.Core
MkToken
:
(
line
:
Int
) -> (
col
:
Int
) -> (
tok
:
a
) ->
TokenData
a