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