HOL.Parse
spaceParser
eolParser
lineParser
class Parsable a
data ParseInteger
advanceParseInteger
endParseInteger
type FoldlParseInteger a
parseInteger