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":335.1-341.15] *) | |
790a48a1 AC |
3 | (* [by Matthias Blume's ml-nlffigen (version 0.9.1) for x86-unix] *) |
4 | (* Send comments and suggestions to blume@tti-c.org. Thanks! *) | |
f147efc8 AC |
5 | local |
6 | open C.Dim C_Int | |
7 | val h = LibpqH.libh "PQdisplayTuples" | |
8 | in | |
9 | structure F_PQdisplayTuples : sig | |
10 | val typ : | |
11 | ((ST_pg_result.tag, ro) su_obj ptr' * | |
12 | (ST__IO_FILE.tag, rw) su_obj ptr' * | |
13 | sint * | |
14 | ro uchar_obj ptr' * | |
15 | sint * | |
16 | sint -> unit) fptr T.typ | |
17 | val fptr : | |
18 | unit -> | |
19 | ((ST_pg_result.tag, ro) su_obj ptr' * | |
20 | (ST__IO_FILE.tag, rw) su_obj ptr' * | |
21 | sint * | |
22 | ro uchar_obj ptr' * | |
23 | sint * | |
24 | sint -> unit) fptr | |
25 | val f : | |
26 | (ST_pg_result.tag, ro) su_obj ptr * | |
27 | (ST__IO_FILE.tag, rw) su_obj ptr * | |
28 | MLRep.Signed.int * | |
29 | ro uchar_obj ptr * | |
30 | MLRep.Signed.int * | |
31 | MLRep.Signed.int -> unit | |
32 | val f' : | |
33 | (ST_pg_result.tag, ro) su_obj ptr' * | |
34 | (ST__IO_FILE.tag, rw) su_obj ptr' * | |
35 | MLRep.Signed.int * | |
36 | ro uchar_obj ptr' * | |
37 | MLRep.Signed.int * | |
38 | MLRep.Signed.int -> unit | |
39 | end = struct | |
40 | val typ = FPtrRTTI_11.typ | |
41 | fun fptr () = mk_fptr (FPtrRTTI_11.mkcall, h ()) | |
42 | fun f (x1, x2, x3, x4, x5, x6) | |
43 | = call | |
44 | (fptr (), | |
45 | (Light.ptr x1, | |
46 | Light.ptr x2, | |
47 | Cvt.c_sint x3, | |
48 | Light.ptr x4, | |
49 | Cvt.c_sint x5, | |
50 | Cvt.c_sint x6)) | |
51 | fun f' (x1, x2, x3, x4, x5, x6) | |
52 | = call | |
53 | (fptr (), | |
54 | (x1, x2, Cvt.c_sint x3, x4, Cvt.c_sint x5, Cvt.c_sint x6)) | |
55 | end | |
56 | end |