Curry.Syntax.Parser

parseSource

parseHeader

parsePragmas

parseInterface

parseGoal