derive gEq Op2
instance == Op2 where (==) o1 o2 = gEq{|*|} o1 o2
+instance zero Pos where
+ zero = {line=0, col=0}
+
derive gEq Op1
instance == Op1 where (==) o1 o2 = gEq{|*|} o1 o2
-
-instance < Op2 where
- (<) o1 o2 = (toString o1) < (toString o2)
-
-instance < Op1 where
- (<) o1 o2 = (toString o1) < (toString o2)
\ No newline at end of file
+instance < Op2 where (<) o1 o2 = toString o1 < toString o2
+instance < Op1 where (<) o1 o2 = toString o1 < toString o2