hylolib-1.3.1: Tools for hybrid logics related programs
HyLo.InputFile.Lexer
lexify :: String -> [(Token, FilePos)]Source
data Token Source
Constructors
Instances
data FilePos Source
line :: FilePos -> IntSource
col :: FilePos -> IntSource