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]
instance toString Pos
instance toString Type
instance toString AST
+
+instance zero Pos
+instance == Op1
+instance == Op2
+instance < Op1
+instance < Op2