+++ /dev/null
-(* This file has been generated automatically. DO NOT EDIT! *)
-(* [by Matthias Blume's ml-nlffigen (version 0.9) for x86-unix] *)
-(* Send comments and suggestions to blume@research.bell-labs.com. Thanks! *)
-structure Callop_19 = struct
- val callop =
- RawMemInlineT.rawccall :
- Word32.word *
- (CMemory.cc_addr * CMemory.cc_addr * CMemory.cc_addr) *
- (unit * string * string * string -> unit) list -> unit
-end