9 lines
126 B
Text
9 lines
126 B
Text
|
deftrait Integer, requires: [
|
||
|
Addition,
|
||
|
Division,
|
||
|
Equality,
|
||
|
Multiplication,
|
||
|
Ordering,
|
||
|
Subtraction
|
||
|
]
|