regression/all-overloads.sml

   1 (* This file is automatically generated.  Do not edit. *)
   2 fun f (x: Int.int) = ~ x
   3 fun f (x: IntInf.int) = ~ x
   4 fun f (x: LargeInt.int) = ~ x
   5 fun f (x: FixedInt.int) = ~ x
   6 fun f (x: Position.int) = ~ x
   7 fun f (x: Int2.int) = ~ x
   8 fun f (x: Int3.int) = ~ x
   9 fun f (x: Int4.int) = ~ x
  10 fun f (x: Int5.int) = ~ x
  11 fun f (x: Int6.int) = ~ x
  12 fun f (x: Int7.int) = ~ x
  13 fun f (x: Int8.int) = ~ x
  14 fun f (x: Int9.int) = ~ x
  15 fun f (x: Int10.int) = ~ x
  16 fun f (x: Int11.int) = ~ x
  17 fun f (x: Int12.int) = ~ x
  18 fun f (x: Int13.int) = ~ x
  19 fun f (x: Int14.int) = ~ x
  20 fun f (x: Int15.int) = ~ x
  21 fun f (x: Int16.int) = ~ x
  22 fun f (x: Int17.int) = ~ x
  23 fun f (x: Int18.int) = ~ x
  24 fun f (x: Int19.int) = ~ x
  25 fun f (x: Int20.int) = ~ x
  26 fun f (x: Int21.int) = ~ x
  27 fun f (x: Int22.int) = ~ x
  28 fun f (x: Int23.int) = ~ x
  29 fun f (x: Int24.int) = ~ x
  30 fun f (x: Int25.int) = ~ x
  31 fun f (x: Int26.int) = ~ x
  32 fun f (x: Int27.int) = ~ x
  33 fun f (x: Int28.int) = ~ x
  34 fun f (x: Int29.int) = ~ x
  35 fun f (x: Int30.int) = ~ x
  36 fun f (x: Int31.int) = ~ x
  37 fun f (x: Int32.int) = ~ x
  38 fun f (x: Int64.int) = ~ x
  39 fun f (x: Word.word) = ~ x
  40 fun f (x: LargeWord.word) = ~ x
  41 fun f (x: SysWord.word) = ~ x
  42 fun f (x: Word2.word) = ~ x
  43 fun f (x: Word3.word) = ~ x
  44 fun f (x: Word4.word) = ~ x
  45 fun f (x: Word5.word) = ~ x
  46 fun f (x: Word6.word) = ~ x
  47 fun f (x: Word7.word) = ~ x
  48 fun f (x: Word8.word) = ~ x
  49 fun f (x: Word9.word) = ~ x
  50 fun f (x: Word10.word) = ~ x
  51 fun f (x: Word11.word) = ~ x
  52 fun f (x: Word12.word) = ~ x
  53 fun f (x: Word13.word) = ~ x
  54 fun f (x: Word14.word) = ~ x
  55 fun f (x: Word15.word) = ~ x
  56 fun f (x: Word16.word) = ~ x
  57 fun f (x: Word17.word) = ~ x
  58 fun f (x: Word18.word) = ~ x
  59 fun f (x: Word19.word) = ~ x
  60 fun f (x: Word20.word) = ~ x
  61 fun f (x: Word21.word) = ~ x
  62 fun f (x: Word22.word) = ~ x
  63 fun f (x: Word23.word) = ~ x
  64 fun f (x: Word24.word) = ~ x
  65 fun f (x: Word25.word) = ~ x
  66 fun f (x: Word26.word) = ~ x
  67 fun f (x: Word27.word) = ~ x
  68 fun f (x: Word28.word) = ~ x
  69 fun f (x: Word29.word) = ~ x
  70 fun f (x: Word30.word) = ~ x
  71 fun f (x: Word31.word) = ~ x
  72 fun f (x: Word32.word) = ~ x
  73 fun f (x: Word64.word) = ~ x
  74 fun f (x: Real.real) = ~ x
  75 fun f (x: Real32.real) = ~ x
  76 fun f (x: Real64.real) = ~ x
  77 fun f (x: LargeReal.real) = ~ x
  78 fun f (x: Int.int) = x + x
  79 fun f (x: IntInf.int) = x + x
  80 fun f (x: LargeInt.int) = x + x
  81 fun f (x: FixedInt.int) = x + x
  82 fun f (x: Position.int) = x + x
  83 fun f (x: Int2.int) = x + x
  84 fun f (x: Int3.int) = x + x
  85 fun f (x: Int4.int) = x + x
  86 fun f (x: Int5.int) = x + x
  87 fun f (x: Int6.int) = x + x
  88 fun f (x: Int7.int) = x + x
  89 fun f (x: Int8.int) = x + x
  90 fun f (x: Int9.int) = x + x
  91 fun f (x: Int10.int) = x + x
  92 fun f (x: Int11.int) = x + x
  93 fun f (x: Int12.int) = x + x
  94 fun f (x: Int13.int) = x + x
  95 fun f (x: Int14.int) = x + x
  96 fun f (x: Int15.int) = x + x
  97 fun f (x: Int16.int) = x + x
  98 fun f (x: Int17.int) = x + x
  99 fun f (x: Int18.int) = x + x
 100 fun f (x: Int19.int) = x + x
 101 fun f (x: Int20.int) = x + x
 102 fun f (x: Int21.int) = x + x
 103 fun f (x: Int22.int) = x + x
 104 fun f (x: Int23.int) = x + x
 105 fun f (x: Int24.int) = x + x
 106 fun f (x: Int25.int) = x + x
 107 fun f (x: Int26.int) = x + x
 108 fun f (x: Int27.int) = x + x
 109 fun f (x: Int28.int) = x + x
 110 fun f (x: Int29.int) = x + x
 111 fun f (x: Int30.int) = x + x
 112 fun f (x: Int31.int) = x + x
 113 fun f (x: Int32.int) = x + x
 114 fun f (x: Int64.int) = x + x
 115 fun f (x: Word.word) = x + x
 116 fun f (x: LargeWord.word) = x + x
 117 fun f (x: SysWord.word) = x + x
 118 fun f (x: Word2.word) = x + x
 119 fun f (x: Word3.word) = x + x
 120 fun f (x: Word4.word) = x + x
 121 fun f (x: Word5.word) = x + x
 122 fun f (x: Word6.word) = x + x
 123 fun f (x: Word7.word) = x + x
 124 fun f (x: Word8.word) = x + x
 125 fun f (x: Word9.word) = x + x
 126 fun f (x: Word10.word) = x + x
 127 fun f (x: Word11.word) = x + x
 128 fun f (x: Word12.word) = x + x
 129 fun f (x: Word13.word) = x + x
 130 fun f (x: Word14.word) = x + x
 131 fun f (x: Word15.word) = x + x
 132 fun f (x: Word16.word) = x + x
 133 fun f (x: Word17.word) = x + x
 134 fun f (x: Word18.word) = x + x
 135 fun f (x: Word19.word) = x + x
 136 fun f (x: Word20.word) = x + x
 137 fun f (x: Word21.word) = x + x
 138 fun f (x: Word22.word) = x + x
 139 fun f (x: Word23.word) = x + x
 140 fun f (x: Word24.word) = x + x
 141 fun f (x: Word25.word) = x + x
 142 fun f (x: Word26.word) = x + x
 143 fun f (x: Word27.word) = x + x
 144 fun f (x: Word28.word) = x + x
 145 fun f (x: Word29.word) = x + x
 146 fun f (x: Word30.word) = x + x
 147 fun f (x: Word31.word) = x + x
 148 fun f (x: Word32.word) = x + x
 149 fun f (x: Word64.word) = x + x
 150 fun f (x: Real.real) = x + x
 151 fun f (x: Real32.real) = x + x
 152 fun f (x: Real64.real) = x + x
 153 fun f (x: LargeReal.real) = x + x
 154 fun f (x: Int.int) = x - x
 155 fun f (x: IntInf.int) = x - x
 156 fun f (x: LargeInt.int) = x - x
 157 fun f (x: FixedInt.int) = x - x
 158 fun f (x: Position.int) = x - x
 159 fun f (x: Int2.int) = x - x
 160 fun f (x: Int3.int) = x - x
 161 fun f (x: Int4.int) = x - x
 162 fun f (x: Int5.int) = x - x
 163 fun f (x: Int6.int) = x - x
 164 fun f (x: Int7.int) = x - x
 165 fun f (x: Int8.int) = x - x
 166 fun f (x: Int9.int) = x - x
 167 fun f (x: Int10.int) = x - x
 168 fun f (x: Int11.int) = x - x
 169 fun f (x: Int12.int) = x - x
 170 fun f (x: Int13.int) = x - x
 171 fun f (x: Int14.int) = x - x
 172 fun f (x: Int15.int) = x - x
 173 fun f (x: Int16.int) = x - x
 174 fun f (x: Int17.int) = x - x
 175 fun f (x: Int18.int) = x - x
 176 fun f (x: Int19.int) = x - x
 177 fun f (x: Int20.int) = x - x
 178 fun f (x: Int21.int) = x - x
 179 fun f (x: Int22.int) = x - x
 180 fun f (x: Int23.int) = x - x
 181 fun f (x: Int24.int) = x - x
 182 fun f (x: Int25.int) = x - x
 183 fun f (x: Int26.int) = x - x
 184 fun f (x: Int27.int) = x - x
 185 fun f (x: Int28.int) = x - x
 186 fun f (x: Int29.int) = x - x
 187 fun f (x: Int30.int) = x - x
 188 fun f (x: Int31.int) = x - x
 189 fun f (x: Int32.int) = x - x
 190 fun f (x: Int64.int) = x - x
 191 fun f (x: Word.word) = x - x
 192 fun f (x: LargeWord.word) = x - x
 193 fun f (x: SysWord.word) = x - x
 194 fun f (x: Word2.word) = x - x
 195 fun f (x: Word3.word) = x - x
 196 fun f (x: Word4.word) = x - x
 197 fun f (x: Word5.word) = x - x
 198 fun f (x: Word6.word) = x - x
 199 fun f (x: Word7.word) = x - x
 200 fun f (x: Word8.word) = x - x
 201 fun f (x: Word9.word) = x - x
 202 fun f (x: Word10.word) = x - x
 203 fun f (x: Word11.word) = x - x
 204 fun f (x: Word12.word) = x - x
 205 fun f (x: Word13.word) = x - x
 206 fun f (x: Word14.word) = x - x
 207 fun f (x: Word15.word) = x - x
 208 fun f (x: Word16.word) = x - x
 209 fun f (x: Word17.word) = x - x
 210 fun f (x: Word18.word) = x - x
 211 fun f (x: Word19.word) = x - x
 212 fun f (x: Word20.word) = x - x
 213 fun f (x: Word21.word) = x - x
 214 fun f (x: Word22.word) = x - x
 215 fun f (x: Word23.word) = x - x
 216 fun f (x: Word24.word) = x - x
 217 fun f (x: Word25.word) = x - x
 218 fun f (x: Word26.word) = x - x
 219 fun f (x: Word27.word) = x - x
 220 fun f (x: Word28.word) = x - x
 221 fun f (x: Word29.word) = x - x
 222 fun f (x: Word30.word) = x - x
 223 fun f (x: Word31.word) = x - x
 224 fun f (x: Word32.word) = x - x
 225 fun f (x: Word64.word) = x - x
 226 fun f (x: Real.real) = x - x
 227 fun f (x: Real32.real) = x - x
 228 fun f (x: Real64.real) = x - x
 229 fun f (x: LargeReal.real) = x - x
 230 fun f (x: Int.int) = x * x
 231 fun f (x: IntInf.int) = x * x
 232 fun f (x: LargeInt.int) = x * x
 233 fun f (x: FixedInt.int) = x * x
 234 fun f (x: Position.int) = x * x
 235 fun f (x: Int2.int) = x * x
 236 fun f (x: Int3.int) = x * x
 237 fun f (x: Int4.int) = x * x
 238 fun f (x: Int5.int) = x * x
 239 fun f (x: Int6.int) = x * x
 240 fun f (x: Int7.int) = x * x
 241 fun f (x: Int8.int) = x * x
 242 fun f (x: Int9.int) = x * x
 243 fun f (x: Int10.int) = x * x
 244 fun f (x: Int11.int) = x * x
 245 fun f (x: Int12.int) = x * x
 246 fun f (x: Int13.int) = x * x
 247 fun f (x: Int14.int) = x * x
 248 fun f (x: Int15.int) = x * x
 249 fun f (x: Int16.int) = x * x
 250 fun f (x: Int17.int) = x * x
 251 fun f (x: Int18.int) = x * x
 252 fun f (x: Int19.int) = x * x
 253 fun f (x: Int20.int) = x * x
 254 fun f (x: Int21.int) = x * x
 255 fun f (x: Int22.int) = x * x
 256 fun f (x: Int23.int) = x * x
 257 fun f (x: Int24.int) = x * x
 258 fun f (x: Int25.int) = x * x
 259 fun f (x: Int26.int) = x * x
 260 fun f (x: Int27.int) = x * x
 261 fun f (x: Int28.int) = x * x
 262 fun f (x: Int29.int) = x * x
 263 fun f (x: Int30.int) = x * x
 264 fun f (x: Int31.int) = x * x
 265 fun f (x: Int32.int) = x * x
 266 fun f (x: Int64.int) = x * x
 267 fun f (x: Word.word) = x * x
 268 fun f (x: LargeWord.word) = x * x
 269 fun f (x: SysWord.word) = x * x
 270 fun f (x: Word2.word) = x * x
 271 fun f (x: Word3.word) = x * x
 272 fun f (x: Word4.word) = x * x
 273 fun f (x: Word5.word) = x * x
 274 fun f (x: Word6.word) = x * x
 275 fun f (x: Word7.word) = x * x
 276 fun f (x: Word8.word) = x * x
 277 fun f (x: Word9.word) = x * x
 278 fun f (x: Word10.word) = x * x
 279 fun f (x: Word11.word) = x * x
 280 fun f (x: Word12.word) = x * x
 281 fun f (x: Word13.word) = x * x
 282 fun f (x: Word14.word) = x * x
 283 fun f (x: Word15.word) = x * x
 284 fun f (x: Word16.word) = x * x
 285 fun f (x: Word17.word) = x * x
 286 fun f (x: Word18.word) = x * x
 287 fun f (x: Word19.word) = x * x
 288 fun f (x: Word20.word) = x * x
 289 fun f (x: Word21.word) = x * x
 290 fun f (x: Word22.word) = x * x
 291 fun f (x: Word23.word) = x * x
 292 fun f (x: Word24.word) = x * x
 293 fun f (x: Word25.word) = x * x
 294 fun f (x: Word26.word) = x * x
 295 fun f (x: Word27.word) = x * x
 296 fun f (x: Word28.word) = x * x
 297 fun f (x: Word29.word) = x * x
 298 fun f (x: Word30.word) = x * x
 299 fun f (x: Word31.word) = x * x
 300 fun f (x: Word32.word) = x * x
 301 fun f (x: Word64.word) = x * x
 302 fun f (x: Real.real) = x * x
 303 fun f (x: Real32.real) = x * x
 304 fun f (x: Real64.real) = x * x
 305 fun f (x: LargeReal.real) = x * x
 306 fun f (x: Real.real) = x / x
 307 fun f (x: Real32.real) = x / x
 308 fun f (x: Real64.real) = x / x
 309 fun f (x: LargeReal.real) = x / x
 310 fun f (x: Int.int) = x div x
 311 fun f (x: IntInf.int) = x div x
 312 fun f (x: LargeInt.int) = x div x
 313 fun f (x: FixedInt.int) = x div x
 314 fun f (x: Position.int) = x div x
 315 fun f (x: Int2.int) = x div x
 316 fun f (x: Int3.int) = x div x
 317 fun f (x: Int4.int) = x div x
 318 fun f (x: Int5.int) = x div x
 319 fun f (x: Int6.int) = x div x
 320 fun f (x: Int7.int) = x div x
 321 fun f (x: Int8.int) = x div x
 322 fun f (x: Int9.int) = x div x
 323 fun f (x: Int10.int) = x div x
 324 fun f (x: Int11.int) = x div x
 325 fun f (x: Int12.int) = x div x
 326 fun f (x: Int13.int) = x div x
 327 fun f (x: Int14.int) = x div x
 328 fun f (x: Int15.int) = x div x
 329 fun f (x: Int16.int) = x div x
 330 fun f (x: Int17.int) = x div x
 331 fun f (x: Int18.int) = x div x
 332 fun f (x: Int19.int) = x div x
 333 fun f (x: Int20.int) = x div x
 334 fun f (x: Int21.int) = x div x
 335 fun f (x: Int22.int) = x div x
 336 fun f (x: Int23.int) = x div x
 337 fun f (x: Int24.int) = x div x
 338 fun f (x: Int25.int) = x div x
 339 fun f (x: Int26.int) = x div x
 340 fun f (x: Int27.int) = x div x
 341 fun f (x: Int28.int) = x div x
 342 fun f (x: Int29.int) = x div x
 343 fun f (x: Int30.int) = x div x
 344 fun f (x: Int31.int) = x div x
 345 fun f (x: Int32.int) = x div x
 346 fun f (x: Int64.int) = x div x
 347 fun f (x: Word.word) = x div x
 348 fun f (x: LargeWord.word) = x div x
 349 fun f (x: SysWord.word) = x div x
 350 fun f (x: Word2.word) = x div x
 351 fun f (x: Word3.word) = x div x
 352 fun f (x: Word4.word) = x div x
 353 fun f (x: Word5.word) = x div x
 354 fun f (x: Word6.word) = x div x
 355 fun f (x: Word7.word) = x div x
 356 fun f (x: Word8.word) = x div x
 357 fun f (x: Word9.word) = x div x
 358 fun f (x: Word10.word) = x div x
 359 fun f (x: Word11.word) = x div x
 360 fun f (x: Word12.word) = x div x
 361 fun f (x: Word13.word) = x div x
 362 fun f (x: Word14.word) = x div x
 363 fun f (x: Word15.word) = x div x
 364 fun f (x: Word16.word) = x div x
 365 fun f (x: Word17.word) = x div x
 366 fun f (x: Word18.word) = x div x
 367 fun f (x: Word19.word) = x div x
 368 fun f (x: Word20.word) = x div x
 369 fun f (x: Word21.word) = x div x
 370 fun f (x: Word22.word) = x div x
 371 fun f (x: Word23.word) = x div x
 372 fun f (x: Word24.word) = x div x
 373 fun f (x: Word25.word) = x div x
 374 fun f (x: Word26.word) = x div x
 375 fun f (x: Word27.word) = x div x
 376 fun f (x: Word28.word) = x div x
 377 fun f (x: Word29.word) = x div x
 378 fun f (x: Word30.word) = x div x
 379 fun f (x: Word31.word) = x div x
 380 fun f (x: Word32.word) = x div x
 381 fun f (x: Word64.word) = x div x
 382 fun f (x: Int.int) = x mod x
 383 fun f (x: IntInf.int) = x mod x
 384 fun f (x: LargeInt.int) = x mod x
 385 fun f (x: FixedInt.int) = x mod x
 386 fun f (x: Position.int) = x mod x
 387 fun f (x: Int2.int) = x mod x
 388 fun f (x: Int3.int) = x mod x
 389 fun f (x: Int4.int) = x mod x
 390 fun f (x: Int5.int) = x mod x
 391 fun f (x: Int6.int) = x mod x
 392 fun f (x: Int7.int) = x mod x
 393 fun f (x: Int8.int) = x mod x
 394 fun f (x: Int9.int) = x mod x
 395 fun f (x: Int10.int) = x mod x
 396 fun f (x: Int11.int) = x mod x
 397 fun f (x: Int12.int) = x mod x
 398 fun f (x: Int13.int) = x mod x
 399 fun f (x: Int14.int) = x mod x
 400 fun f (x: Int15.int) = x mod x
 401 fun f (x: Int16.int) = x mod x
 402 fun f (x: Int17.int) = x mod x
 403 fun f (x: Int18.int) = x mod x
 404 fun f (x: Int19.int) = x mod x
 405 fun f (x: Int20.int) = x mod x
 406 fun f (x: Int21.int) = x mod x
 407 fun f (x: Int22.int) = x mod x
 408 fun f (x: Int23.int) = x mod x
 409 fun f (x: Int24.int) = x mod x
 410 fun f (x: Int25.int) = x mod x
 411 fun f (x: Int26.int) = x mod x
 412 fun f (x: Int27.int) = x mod x
 413 fun f (x: Int28.int) = x mod x
 414 fun f (x: Int29.int) = x mod x
 415 fun f (x: Int30.int) = x mod x
 416 fun f (x: Int31.int) = x mod x
 417 fun f (x: Int32.int) = x mod x
 418 fun f (x: Int64.int) = x mod x
 419 fun f (x: Word.word) = x mod x
 420 fun f (x: LargeWord.word) = x mod x
 421 fun f (x: SysWord.word) = x mod x
 422 fun f (x: Word2.word) = x mod x
 423 fun f (x: Word3.word) = x mod x
 424 fun f (x: Word4.word) = x mod x
 425 fun f (x: Word5.word) = x mod x
 426 fun f (x: Word6.word) = x mod x
 427 fun f (x: Word7.word) = x mod x
 428 fun f (x: Word8.word) = x mod x
 429 fun f (x: Word9.word) = x mod x
 430 fun f (x: Word10.word) = x mod x
 431 fun f (x: Word11.word) = x mod x
 432 fun f (x: Word12.word) = x mod x
 433 fun f (x: Word13.word) = x mod x
 434 fun f (x: Word14.word) = x mod x
 435 fun f (x: Word15.word) = x mod x
 436 fun f (x: Word16.word) = x mod x
 437 fun f (x: Word17.word) = x mod x
 438 fun f (x: Word18.word) = x mod x
 439 fun f (x: Word19.word) = x mod x
 440 fun f (x: Word20.word) = x mod x
 441 fun f (x: Word21.word) = x mod x
 442 fun f (x: Word22.word) = x mod x
 443 fun f (x: Word23.word) = x mod x
 444 fun f (x: Word24.word) = x mod x
 445 fun f (x: Word25.word) = x mod x
 446 fun f (x: Word26.word) = x mod x
 447 fun f (x: Word27.word) = x mod x
 448 fun f (x: Word28.word) = x mod x
 449 fun f (x: Word29.word) = x mod x
 450 fun f (x: Word30.word) = x mod x
 451 fun f (x: Word31.word) = x mod x
 452 fun f (x: Word32.word) = x mod x
 453 fun f (x: Word64.word) = x mod x
 454 fun f (x: Int.int) = abs x
 455 fun f (x: IntInf.int) = abs x
 456 fun f (x: LargeInt.int) = abs x
 457 fun f (x: FixedInt.int) = abs x
 458 fun f (x: Position.int) = abs x
 459 fun f (x: Int2.int) = abs x
 460 fun f (x: Int3.int) = abs x
 461 fun f (x: Int4.int) = abs x
 462 fun f (x: Int5.int) = abs x
 463 fun f (x: Int6.int) = abs x
 464 fun f (x: Int7.int) = abs x
 465 fun f (x: Int8.int) = abs x
 466 fun f (x: Int9.int) = abs x
 467 fun f (x: Int10.int) = abs x
 468 fun f (x: Int11.int) = abs x
 469 fun f (x: Int12.int) = abs x
 470 fun f (x: Int13.int) = abs x
 471 fun f (x: Int14.int) = abs x
 472 fun f (x: Int15.int) = abs x
 473 fun f (x: Int16.int) = abs x
 474 fun f (x: Int17.int) = abs x
 475 fun f (x: Int18.int) = abs x
 476 fun f (x: Int19.int) = abs x
 477 fun f (x: Int20.int) = abs x
 478 fun f (x: Int21.int) = abs x
 479 fun f (x: Int22.int) = abs x
 480 fun f (x: Int23.int) = abs x
 481 fun f (x: Int24.int) = abs x
 482 fun f (x: Int25.int) = abs x
 483 fun f (x: Int26.int) = abs x
 484 fun f (x: Int27.int) = abs x
 485 fun f (x: Int28.int) = abs x
 486 fun f (x: Int29.int) = abs x
 487 fun f (x: Int30.int) = abs x
 488 fun f (x: Int31.int) = abs x
 489 fun f (x: Int32.int) = abs x
 490 fun f (x: Int64.int) = abs x
 491 fun f (x: Real.real) = abs x
 492 fun f (x: Real32.real) = abs x
 493 fun f (x: Real64.real) = abs x
 494 fun f (x: LargeReal.real) = abs x
 495 fun f (x: Int.int) = x < x
 496 fun f (x: IntInf.int) = x < x
 497 fun f (x: LargeInt.int) = x < x
 498 fun f (x: FixedInt.int) = x < x
 499 fun f (x: Position.int) = x < x
 500 fun f (x: Int2.int) = x < x
 501 fun f (x: Int3.int) = x < x
 502 fun f (x: Int4.int) = x < x
 503 fun f (x: Int5.int) = x < x
 504 fun f (x: Int6.int) = x < x
 505 fun f (x: Int7.int) = x < x
 506 fun f (x: Int8.int) = x < x
 507 fun f (x: Int9.int) = x < x
 508 fun f (x: Int10.int) = x < x
 509 fun f (x: Int11.int) = x < x
 510 fun f (x: Int12.int) = x < x
 511 fun f (x: Int13.int) = x < x
 512 fun f (x: Int14.int) = x < x
 513 fun f (x: Int15.int) = x < x
 514 fun f (x: Int16.int) = x < x
 515 fun f (x: Int17.int) = x < x
 516 fun f (x: Int18.int) = x < x
 517 fun f (x: Int19.int) = x < x
 518 fun f (x: Int20.int) = x < x
 519 fun f (x: Int21.int) = x < x
 520 fun f (x: Int22.int) = x < x
 521 fun f (x: Int23.int) = x < x
 522 fun f (x: Int24.int) = x < x
 523 fun f (x: Int25.int) = x < x
 524 fun f (x: Int26.int) = x < x
 525 fun f (x: Int27.int) = x < x
 526 fun f (x: Int28.int) = x < x
 527 fun f (x: Int29.int) = x < x
 528 fun f (x: Int30.int) = x < x
 529 fun f (x: Int31.int) = x < x
 530 fun f (x: Int32.int) = x < x
 531 fun f (x: Int64.int) = x < x
 532 fun f (x: Word.word) = x < x
 533 fun f (x: LargeWord.word) = x < x
 534 fun f (x: SysWord.word) = x < x
 535 fun f (x: Word2.word) = x < x
 536 fun f (x: Word3.word) = x < x
 537 fun f (x: Word4.word) = x < x
 538 fun f (x: Word5.word) = x < x
 539 fun f (x: Word6.word) = x < x
 540 fun f (x: Word7.word) = x < x
 541 fun f (x: Word8.word) = x < x
 542 fun f (x: Word9.word) = x < x
 543 fun f (x: Word10.word) = x < x
 544 fun f (x: Word11.word) = x < x
 545 fun f (x: Word12.word) = x < x
 546 fun f (x: Word13.word) = x < x
 547 fun f (x: Word14.word) = x < x
 548 fun f (x: Word15.word) = x < x
 549 fun f (x: Word16.word) = x < x
 550 fun f (x: Word17.word) = x < x
 551 fun f (x: Word18.word) = x < x
 552 fun f (x: Word19.word) = x < x
 553 fun f (x: Word20.word) = x < x
 554 fun f (x: Word21.word) = x < x
 555 fun f (x: Word22.word) = x < x
 556 fun f (x: Word23.word) = x < x
 557 fun f (x: Word24.word) = x < x
 558 fun f (x: Word25.word) = x < x
 559 fun f (x: Word26.word) = x < x
 560 fun f (x: Word27.word) = x < x
 561 fun f (x: Word28.word) = x < x
 562 fun f (x: Word29.word) = x < x
 563 fun f (x: Word30.word) = x < x
 564 fun f (x: Word31.word) = x < x
 565 fun f (x: Word32.word) = x < x
 566 fun f (x: Word64.word) = x < x
 567 fun f (x: Real.real) = x < x
 568 fun f (x: Real32.real) = x < x
 569 fun f (x: Real64.real) = x < x
 570 fun f (x: LargeReal.real) = x < x
 571 fun f (x: Char.char) = x < x
 572 fun f (x: String.string) = x < x
 573 fun f (x: Int.int) = x <= x
 574 fun f (x: IntInf.int) = x <= x
 575 fun f (x: LargeInt.int) = x <= x
 576 fun f (x: FixedInt.int) = x <= x
 577 fun f (x: Position.int) = x <= x
 578 fun f (x: Int2.int) = x <= x
 579 fun f (x: Int3.int) = x <= x
 580 fun f (x: Int4.int) = x <= x
 581 fun f (x: Int5.int) = x <= x
 582 fun f (x: Int6.int) = x <= x
 583 fun f (x: Int7.int) = x <= x
 584 fun f (x: Int8.int) = x <= x
 585 fun f (x: Int9.int) = x <= x
 586 fun f (x: Int10.int) = x <= x
 587 fun f (x: Int11.int) = x <= x
 588 fun f (x: Int12.int) = x <= x
 589 fun f (x: Int13.int) = x <= x
 590 fun f (x: Int14.int) = x <= x
 591 fun f (x: Int15.int) = x <= x
 592 fun f (x: Int16.int) = x <= x
 593 fun f (x: Int17.int) = x <= x
 594 fun f (x: Int18.int) = x <= x
 595 fun f (x: Int19.int) = x <= x
 596 fun f (x: Int20.int) = x <= x
 597 fun f (x: Int21.int) = x <= x
 598 fun f (x: Int22.int) = x <= x
 599 fun f (x: Int23.int) = x <= x
 600 fun f (x: Int24.int) = x <= x
 601 fun f (x: Int25.int) = x <= x
 602 fun f (x: Int26.int) = x <= x
 603 fun f (x: Int27.int) = x <= x
 604 fun f (x: Int28.int) = x <= x
 605 fun f (x: Int29.int) = x <= x
 606 fun f (x: Int30.int) = x <= x
 607 fun f (x: Int31.int) = x <= x
 608 fun f (x: Int32.int) = x <= x
 609 fun f (x: Int64.int) = x <= x
 610 fun f (x: Word.word) = x <= x
 611 fun f (x: LargeWord.word) = x <= x
 612 fun f (x: SysWord.word) = x <= x
 613 fun f (x: Word2.word) = x <= x
 614 fun f (x: Word3.word) = x <= x
 615 fun f (x: Word4.word) = x <= x
 616 fun f (x: Word5.word) = x <= x
 617 fun f (x: Word6.word) = x <= x
 618 fun f (x: Word7.word) = x <= x
 619 fun f (x: Word8.word) = x <= x
 620 fun f (x: Word9.word) = x <= x
 621 fun f (x: Word10.word) = x <= x
 622 fun f (x: Word11.word) = x <= x
 623 fun f (x: Word12.word) = x <= x
 624 fun f (x: Word13.word) = x <= x
 625 fun f (x: Word14.word) = x <= x
 626 fun f (x: Word15.word) = x <= x
 627 fun f (x: Word16.word) = x <= x
 628 fun f (x: Word17.word) = x <= x
 629 fun f (x: Word18.word) = x <= x
 630 fun f (x: Word19.word) = x <= x
 631 fun f (x: Word20.word) = x <= x
 632 fun f (x: Word21.word) = x <= x
 633 fun f (x: Word22.word) = x <= x
 634 fun f (x: Word23.word) = x <= x
 635 fun f (x: Word24.word) = x <= x
 636 fun f (x: Word25.word) = x <= x
 637 fun f (x: Word26.word) = x <= x
 638 fun f (x: Word27.word) = x <= x
 639 fun f (x: Word28.word) = x <= x
 640 fun f (x: Word29.word) = x <= x
 641 fun f (x: Word30.word) = x <= x
 642 fun f (x: Word31.word) = x <= x
 643 fun f (x: Word32.word) = x <= x
 644 fun f (x: Word64.word) = x <= x
 645 fun f (x: Real.real) = x <= x
 646 fun f (x: Real32.real) = x <= x
 647 fun f (x: Real64.real) = x <= x
 648 fun f (x: LargeReal.real) = x <= x
 649 fun f (x: Char.char) = x <= x
 650 fun f (x: String.string) = x <= x
 651 fun f (x: Int.int) = x > x
 652 fun f (x: IntInf.int) = x > x
 653 fun f (x: LargeInt.int) = x > x
 654 fun f (x: FixedInt.int) = x > x
 655 fun f (x: Position.int) = x > x
 656 fun f (x: Int2.int) = x > x
 657 fun f (x: Int3.int) = x > x
 658 fun f (x: Int4.int) = x > x
 659 fun f (x: Int5.int) = x > x
 660 fun f (x: Int6.int) = x > x
 661 fun f (x: Int7.int) = x > x
 662 fun f (x: Int8.int) = x > x
 663 fun f (x: Int9.int) = x > x
 664 fun f (x: Int10.int) = x > x
 665 fun f (x: Int11.int) = x > x
 666 fun f (x: Int12.int) = x > x
 667 fun f (x: Int13.int) = x > x
 668 fun f (x: Int14.int) = x > x
 669 fun f (x: Int15.int) = x > x
 670 fun f (x: Int16.int) = x > x
 671 fun f (x: Int17.int) = x > x
 672 fun f (x: Int18.int) = x > x
 673 fun f (x: Int19.int) = x > x
 674 fun f (x: Int20.int) = x > x
 675 fun f (x: Int21.int) = x > x
 676 fun f (x: Int22.int) = x > x
 677 fun f (x: Int23.int) = x > x
 678 fun f (x: Int24.int) = x > x
 679 fun f (x: Int25.int) = x > x
 680 fun f (x: Int26.int) = x > x
 681 fun f (x: Int27.int) = x > x
 682 fun f (x: Int28.int) = x > x
 683 fun f (x: Int29.int) = x > x
 684 fun f (x: Int30.int) = x > x
 685 fun f (x: Int31.int) = x > x
 686 fun f (x: Int32.int) = x > x
 687 fun f (x: Int64.int) = x > x
 688 fun f (x: Word.word) = x > x
 689 fun f (x: LargeWord.word) = x > x
 690 fun f (x: SysWord.word) = x > x
 691 fun f (x: Word2.word) = x > x
 692 fun f (x: Word3.word) = x > x
 693 fun f (x: Word4.word) = x > x
 694 fun f (x: Word5.word) = x > x
 695 fun f (x: Word6.word) = x > x
 696 fun f (x: Word7.word) = x > x
 697 fun f (x: Word8.word) = x > x
 698 fun f (x: Word9.word) = x > x
 699 fun f (x: Word10.word) = x > x
 700 fun f (x: Word11.word) = x > x
 701 fun f (x: Word12.word) = x > x
 702 fun f (x: Word13.word) = x > x
 703 fun f (x: Word14.word) = x > x
 704 fun f (x: Word15.word) = x > x
 705 fun f (x: Word16.word) = x > x
 706 fun f (x: Word17.word) = x > x
 707 fun f (x: Word18.word) = x > x
 708 fun f (x: Word19.word) = x > x
 709 fun f (x: Word20.word) = x > x
 710 fun f (x: Word21.word) = x > x
 711 fun f (x: Word22.word) = x > x
 712 fun f (x: Word23.word) = x > x
 713 fun f (x: Word24.word) = x > x
 714 fun f (x: Word25.word) = x > x
 715 fun f (x: Word26.word) = x > x
 716 fun f (x: Word27.word) = x > x
 717 fun f (x: Word28.word) = x > x
 718 fun f (x: Word29.word) = x > x
 719 fun f (x: Word30.word) = x > x
 720 fun f (x: Word31.word) = x > x
 721 fun f (x: Word32.word) = x > x
 722 fun f (x: Word64.word) = x > x
 723 fun f (x: Real.real) = x > x
 724 fun f (x: Real32.real) = x > x
 725 fun f (x: Real64.real) = x > x
 726 fun f (x: LargeReal.real) = x > x
 727 fun f (x: Char.char) = x > x
 728 fun f (x: String.string) = x > x
 729 fun f (x: Int.int) = x >= x
 730 fun f (x: IntInf.int) = x >= x
 731 fun f (x: LargeInt.int) = x >= x
 732 fun f (x: FixedInt.int) = x >= x
 733 fun f (x: Position.int) = x >= x
 734 fun f (x: Int2.int) = x >= x
 735 fun f (x: Int3.int) = x >= x
 736 fun f (x: Int4.int) = x >= x
 737 fun f (x: Int5.int) = x >= x
 738 fun f (x: Int6.int) = x >= x
 739 fun f (x: Int7.int) = x >= x
 740 fun f (x: Int8.int) = x >= x
 741 fun f (x: Int9.int) = x >= x
 742 fun f (x: Int10.int) = x >= x
 743 fun f (x: Int11.int) = x >= x
 744 fun f (x: Int12.int) = x >= x
 745 fun f (x: Int13.int) = x >= x
 746 fun f (x: Int14.int) = x >= x
 747 fun f (x: Int15.int) = x >= x
 748 fun f (x: Int16.int) = x >= x
 749 fun f (x: Int17.int) = x >= x
 750 fun f (x: Int18.int) = x >= x
 751 fun f (x: Int19.int) = x >= x
 752 fun f (x: Int20.int) = x >= x
 753 fun f (x: Int21.int) = x >= x
 754 fun f (x: Int22.int) = x >= x
 755 fun f (x: Int23.int) = x >= x
 756 fun f (x: Int24.int) = x >= x
 757 fun f (x: Int25.int) = x >= x
 758 fun f (x: Int26.int) = x >= x
 759 fun f (x: Int27.int) = x >= x
 760 fun f (x: Int28.int) = x >= x
 761 fun f (x: Int29.int) = x >= x
 762 fun f (x: Int30.int) = x >= x
 763 fun f (x: Int31.int) = x >= x
 764 fun f (x: Int32.int) = x >= x
 765 fun f (x: Int64.int) = x >= x
 766 fun f (x: Word.word) = x >= x
 767 fun f (x: LargeWord.word) = x >= x
 768 fun f (x: SysWord.word) = x >= x
 769 fun f (x: Word2.word) = x >= x
 770 fun f (x: Word3.word) = x >= x
 771 fun f (x: Word4.word) = x >= x
 772 fun f (x: Word5.word) = x >= x
 773 fun f (x: Word6.word) = x >= x
 774 fun f (x: Word7.word) = x >= x
 775 fun f (x: Word8.word) = x >= x
 776 fun f (x: Word9.word) = x >= x
 777 fun f (x: Word10.word) = x >= x
 778 fun f (x: Word11.word) = x >= x
 779 fun f (x: Word12.word) = x >= x
 780 fun f (x: Word13.word) = x >= x
 781 fun f (x: Word14.word) = x >= x
 782 fun f (x: Word15.word) = x >= x
 783 fun f (x: Word16.word) = x >= x
 784 fun f (x: Word17.word) = x >= x
 785 fun f (x: Word18.word) = x >= x
 786 fun f (x: Word19.word) = x >= x
 787 fun f (x: Word20.word) = x >= x
 788 fun f (x: Word21.word) = x >= x
 789 fun f (x: Word22.word) = x >= x
 790 fun f (x: Word23.word) = x >= x
 791 fun f (x: Word24.word) = x >= x
 792 fun f (x: Word25.word) = x >= x
 793 fun f (x: Word26.word) = x >= x
 794 fun f (x: Word27.word) = x >= x
 795 fun f (x: Word28.word) = x >= x
 796 fun f (x: Word29.word) = x >= x
 797 fun f (x: Word30.word) = x >= x
 798 fun f (x: Word31.word) = x >= x
 799 fun f (x: Word32.word) = x >= x
 800 fun f (x: Word64.word) = x >= x
 801 fun f (x: Real.real) = x >= x
 802 fun f (x: Real32.real) = x >= x
 803 fun f (x: Real64.real) = x >= x
 804 fun f (x: LargeReal.real) = x >= x
 805 fun f (x: Char.char) = x >= x
 806 fun f (x: String.string) = x >= x