parse error at (line 1, column 9):

unexpected "="

expecting [<id>,...,<id>], "%%", "%{", "%(", "%", ",", ":", "<", "{", ";", "sort", "op", "fun", "pred", "type", "classes", "class", "program", "generated", "free", "var", "forall", dot, "axiom", "internal" or end of input

parse error at (line 2, column 9):

unexpected end of input

expecting casl char, underline word, "?", words, "__", signs, "(", "{", "[", "%%", "%{", "%(", "%", ":", cross, "->", "->?", "-->", "-->?" or "="

parse error at (line 3, column 5):

unexpected "?"

expecting casl char, underline word, "{", __, [<id>,...,<id>], "[", "%%", "%{", "%(", "%", ",", "(" or ":?"

parse error at (line 4, column 6):

unexpected "+"

expecting casl char, underline word, "{", __, "%%", "%{", "%(", "%", ",", ":" or "<"

parse error at (line 5, column 5):

unexpected "<"

expecting id

parse error at (line 6, column 6):

unexpected end of input

expecting casl sign, "{", __, "%%", "%{", "%(", "%", ",", ":" or "<"

parse error at (line 7, column 16):

unexpected "="

expecting [<id>,...,<id>], "%%", "%{", "%(", "%", "+", "-", "->", "{", ";", "sort", "op", "fun", "pred", "type", "classes", "class", "program", "generated", "free", "var", "forall", dot, "axiom", "internal" or end of input

parse error at (line 8, column 17):

unexpected list of type arguments

expecting "{", __, "%%", "%{", "%(", "%", "+", "-", ",", ":" or "<"

parse error at (line 9, column 12):

unexpected list of type arguments

expecting casl char, underline word, "{", __, "%%", "%{", "%(", "%", "+", "-", ",", ":" or "<"