Commit | Line | Data |
---|---|---|
f147efc8 AC |
1 | (* This file has been generated automatically. DO NOT EDIT! *) |
2 | (* [from code at "/usr/include/postgresql/libpq-fe.h":327.1-330.24] *) | |
3 | (* [by Matthias Blume's ml-nlffigen (version 0.9) for x86-unix] *) | |
4 | (* Send comments and suggestions to blume@research.bell-labs.com. Thanks! *) | |
5 | local | |
6 | open C.Dim C_Int | |
7 | val h = LibpqH.libh "PQprint" | |
8 | in | |
9 | structure F_PQprint : sig | |
10 | val typ : | |
11 | ((ST__IO_FILE.tag, rw) su_obj ptr' * | |
12 | (ST_pg_result.tag, ro) su_obj ptr' * | |
13 | (ST__PQprintOpt.tag, ro) su_obj ptr' -> unit) fptr T.typ | |
14 | val fptr : | |
15 | unit -> | |
16 | ((ST__IO_FILE.tag, rw) su_obj ptr' * | |
17 | (ST_pg_result.tag, ro) su_obj ptr' * | |
18 | (ST__PQprintOpt.tag, ro) su_obj ptr' -> unit) fptr | |
19 | val f : | |
20 | (ST__IO_FILE.tag, rw) su_obj ptr * | |
21 | (ST_pg_result.tag, ro) su_obj ptr * | |
22 | (ST__PQprintOpt.tag, ro) su_obj ptr -> unit | |
23 | val f' : | |
24 | (ST__IO_FILE.tag, rw) su_obj ptr' * | |
25 | (ST_pg_result.tag, ro) su_obj ptr' * | |
26 | (ST__PQprintOpt.tag, ro) su_obj ptr' -> unit | |
27 | end = struct | |
28 | val typ = FPtrRTTI_32.typ | |
29 | fun fptr () = mk_fptr (FPtrRTTI_32.mkcall, h ()) | |
30 | fun f (x1, x2, x3) | |
31 | = call (fptr (), (Light.ptr x1, Light.ptr x2, Light.ptr x3)) | |
32 | fun f' (x1, x2, x3) = call (fptr (), (x1, x2, x3)) | |
33 | end | |
34 | end |