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":358.1-65] *) | |
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 "lo_write" | |
8 | in | |
9 | structure F_lo_write : sig | |
10 | val typ : | |
11 | ((ST_pg_conn.tag, rw) su_obj ptr' * | |
12 | sint * | |
13 | rw uchar_obj ptr' * | |
14 | uint -> sint) fptr T.typ | |
15 | val fptr : | |
16 | unit -> | |
17 | ((ST_pg_conn.tag, rw) su_obj ptr' * | |
18 | sint * | |
19 | rw uchar_obj ptr' * | |
20 | uint -> sint) fptr | |
21 | val f : | |
22 | (ST_pg_conn.tag, rw) su_obj ptr * | |
23 | MLRep.Signed.int * | |
24 | rw uchar_obj ptr * | |
25 | MLRep.Unsigned.word -> MLRep.Signed.int | |
26 | val f' : | |
27 | (ST_pg_conn.tag, rw) su_obj ptr' * | |
28 | MLRep.Signed.int * | |
29 | rw uchar_obj ptr' * | |
30 | MLRep.Unsigned.word -> MLRep.Signed.int | |
31 | end = struct | |
32 | val typ = FPtrRTTI_48.typ | |
33 | fun fptr () = mk_fptr (FPtrRTTI_48.mkcall, h ()) | |
34 | fun f (x1, x2, x3, x4) | |
35 | = Cvt.ml_sint | |
36 | (call | |
37 | (fptr (), | |
38 | (Light.ptr x1, | |
39 | Cvt.c_sint x2, | |
40 | Light.ptr x3, | |
41 | Cvt.c_uint x4))) | |
42 | fun f' (x1, x2, x3, x4) | |
43 | = Cvt.ml_sint | |
44 | (call (fptr (), (x1, Cvt.c_sint x2, x3, Cvt.c_uint x4))) | |
45 | end | |
46 | end |