Language.Why3.Lexer

primLexer

lexer

data Token

data TokenT

data IdQual

data IdCase

data TokenKW

data TokenErr

data TokenOp

data TokenSym

data TokenW

data Position