definition module AST
from Data.Maybe import :: Maybe
-from StdOverloaded import class toString, class ==, class zero
+from StdOverloaded import class toString, class ==, class zero, class <
:: Pos = {line :: Int, col :: Int}
:: AST = AST [FunDecl]
instance toString AST
instance zero Pos
+instance == Op1
+instance == Op2
+instance < Op1
+instance < Op2