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":200.1-46] *) | |
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 "PQconndefaults" | |
8 | in | |
9 | structure F_PQconndefaults : sig | |
10 | val typ : | |
11 | (unit -> (ST__PQconninfoOption.tag, rw) su_obj ptr') fptr T.typ | |
12 | val fptr : | |
13 | unit -> (unit -> (ST__PQconninfoOption.tag, rw) su_obj ptr') fptr | |
14 | val f : unit -> (ST__PQconninfoOption.tag, rw) su_obj ptr | |
15 | val f' : unit -> (ST__PQconninfoOption.tag, rw) su_obj ptr' | |
16 | end = struct | |
17 | val typ = FPtrRTTI_5.typ | |
18 | fun fptr () = mk_fptr (FPtrRTTI_5.mkcall, h ()) | |
19 | fun f () | |
20 | = Heavy.ptr | |
21 | (T.pointer ST__PQconninfoOption.typ) (call (fptr (), ())) | |
22 | fun f' () = call (fptr (), ()) | |
23 | end | |
24 | end |