Jukebox.TPTP.Lexer

scan

data Pos

data Token

data Punct

data Defined

data Keyword

data TokenStream

data Contents