IdrisDoc: Text.Lexer.Core

Text.Lexer.Core

MkToken : (line : Int) -> (col : Int) -> (tok : a) -> TokenData a