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