Curry.Syntax.Parser
parseSource
parseHeader
parseInterface
parseGoal