Idris2Doc : Text.Lex

Text.Lex

(source)
Reexports
import public Text.Lex.Core
import public Text.Lex.Tokenizer
import public Text.Lex.Util