Curry.Syntax.Parser

parseSource

parseHeader

parseInterface

parseGoal