Commit | Line | Data |
---|---|---|
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_8 = struct | |
5 | val callop = | |
6 | RawMemInlineT.rawccall : | |
7 | Word32.word * | |
8 | (CMemory.cc_addr * CMemory.cc_addr * CMemory.cc_uint) * | |
9 | (unit * string * string * Word31.word -> Word31.word) list -> | |
10 | CMemory.cc_uint | |
11 | end |