Curry.Syntax.Parser
parseSource
parseHeader
parsePragmas
parseInterface
parseGoal