1 (* This file is automatically generated
. Do not edit
. *)
3 _overload
2 ~
: 'a
-> 'a
82 _overload
2 + : 'a
* 'a
-> 'a
161 _overload
2 - : 'a
* 'a
-> 'a
240 _overload
2 * : 'a
* 'a
-> 'a
319 _overload
4 / : 'a
* 'a
-> 'a
325 _overload
3 div : 'a
* 'a
-> 'a
400 _overload
3 mod : 'a
* 'a
-> 'a
475 _overload
3 abs
: 'a
-> 'a
518 _overload
1 < : 'a
* 'a
-> bool
601 _overload
1 <= : 'a
* 'a
-> bool
684 _overload
1 > : 'a
* 'a
-> bool
767 _overload
1 >= : 'a
* 'a
-> bool