definition module AST
from Data.Maybe import :: Maybe
-from StdOverloaded import class toString, class ==
+from StdOverloaded import class toString, class ==, class zero, class <
:: Pos = {line :: Int, col :: Int}
:: AST = AST [FunDecl]
| FunStmt String [Expr]
| ReturnStmt (Maybe Expr)
-instance toString AST
-instance toString Type
instance toString Pos
-instance toString Op2
+instance toString Type
+instance toString AST
+
+instance zero Pos
+instance == Op1
instance == Op2
-instance toString FieldSelector
+instance < Op1
+instance < Op2