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":258.1-42] *) | |
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 "PQnotifies" | |
8 | in | |
9 | structure F_PQnotifies : sig | |
10 | val typ : | |
11 | ((ST_pg_conn.tag, rw) su_obj ptr' -> | |
12 | (ST_pgNotify.tag, rw) su_obj ptr') fptr T.typ | |
13 | val fptr : | |
14 | unit -> | |
15 | ((ST_pg_conn.tag, rw) su_obj ptr' -> | |
16 | (ST_pgNotify.tag, rw) su_obj ptr') fptr | |
17 | val f : | |
18 | (ST_pg_conn.tag, rw) su_obj ptr -> | |
19 | (ST_pgNotify.tag, rw) su_obj ptr | |
20 | val f' : | |
21 | (ST_pg_conn.tag, rw) su_obj ptr' -> | |
22 | (ST_pgNotify.tag, rw) su_obj ptr' | |
23 | end = struct | |
24 | val typ = FPtrRTTI_29.typ | |
25 | fun fptr () = mk_fptr (FPtrRTTI_29.mkcall, h ()) | |
26 | fun f x1 | |
27 | = Heavy.ptr | |
28 | (T.pointer ST_pgNotify.typ) (call (fptr (), Light.ptr x1)) | |
29 | fun f' x1 = call (fptr (), x1) | |
30 | end | |
31 | end |