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