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