- redef meth object_id is intern
- redef meth ==(i) is intern
- redef meth !=(i) is intern
- redef meth output is intern
-
- redef meth <=(i) is intern
- redef meth <(i) is intern
- redef meth >=(i) is intern
- redef meth >(i) is intern
- redef meth +(i) is intern
- meth -: Int is intern
- redef meth -(i) is intern
- meth *(i: Int): Int is intern
- meth /(i: Int): Int is intern
- meth %(i: Int): Int is intern
- meth lshift(i: Int): Int is intern
- meth rshift(i: Int): Int is intern
+ redef fun object_id is intern
+ redef fun ==(i) is intern
+ redef fun !=(i) is intern
+ redef fun output is intern
+
+ redef fun <=(i) is intern
+ redef fun <(i) is intern
+ redef fun >=(i) is intern
+ redef fun >(i) is intern
+ redef fun +(i) is intern
+ fun -: Int is intern
+ redef fun -(i) is intern
+ fun *(i: Int): Int is intern
+ fun /(i: Int): Int is intern
+ fun %(i: Int): Int is intern
+ fun lshift(i: Int): Int is intern
+ fun rshift(i: Int): Int is intern