| 1 | (* This file has been generated automatically. DO NOT EDIT! *) |
| 2 | (* [by Matthias Blume's ml-nlffigen (version 0.9.1) for x86-unix] *) |
| 3 | (* Send comments and suggestions to blume@tti-c.org. Thanks! *) |
| 4 | structure Callop_11 = struct |
| 5 | val callop = |
| 6 | RawMemInlineT.rawccall : |
| 7 | Word32.word * |
| 8 | (CMemory.cc_addr * |
| 9 | CMemory.cc_sint * |
| 10 | CMemory.cc_addr * |
| 11 | CMemory.cc_addr * |
| 12 | CMemory.cc_sint * |
| 13 | CMemory.cc_addr * |
| 14 | CMemory.cc_sint) * |
| 15 | (unit * |
| 16 | string * |
| 17 | Int31.int * |
| 18 | string * |
| 19 | string * |
| 20 | Int31.int * |
| 21 | string * |
| 22 | Int31.int -> string) list -> CMemory.cc_addr |
| 23 | end |