| 1 | (* This file has been generated automatically. DO NOT EDIT! *) |
| 2 | (* [from code at "/usr/include/postgresql/libpq-fe.h":245.1-247.17] *) |
| 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! *) |
| 5 | local |
| 6 | open C.Dim C_Int |
| 7 | val h = LibpqH.libh "PQsetNoticeProcessor" |
| 8 | in |
| 9 | structure F_PQsetNoticeProcessor : sig |
| 10 | val typ : |
| 11 | ((ST_pg_conn.tag, rw) su_obj ptr' * |
| 12 | (voidptr * ro uchar_obj ptr' -> unit) fptr' * |
| 13 | voidptr -> (voidptr * ro uchar_obj ptr' -> unit) fptr') fptr T.typ |
| 14 | val fptr : |
| 15 | unit -> |
| 16 | ((ST_pg_conn.tag, rw) su_obj ptr' * |
| 17 | (voidptr * ro uchar_obj ptr' -> unit) fptr' * |
| 18 | voidptr -> (voidptr * ro uchar_obj ptr' -> unit) fptr') fptr |
| 19 | val f : |
| 20 | (ST_pg_conn.tag, rw) su_obj ptr * |
| 21 | (voidptr * ro uchar_obj ptr' -> unit) fptr * |
| 22 | voidptr -> (voidptr * ro uchar_obj ptr' -> unit) fptr |
| 23 | val f' : |
| 24 | (ST_pg_conn.tag, rw) su_obj ptr' * |
| 25 | (voidptr * ro uchar_obj ptr' -> unit) fptr' * |
| 26 | voidptr -> (voidptr * ro uchar_obj ptr' -> unit) fptr' |
| 27 | end = struct |
| 28 | val typ = FPtrRTTI_38.typ |
| 29 | fun fptr () = mk_fptr (FPtrRTTI_38.mkcall, h ()) |
| 30 | fun f (x1, x2, x3) |
| 31 | = Heavy.fptr |
| 32 | FPtrRTTI_0.typ |
| 33 | (call (fptr (), (Light.ptr x1, Light.fptr x2, x3))) |
| 34 | fun f' (x1, x2, x3) = call (fptr (), (x1, x2, x3)) |
| 35 | end |
| 36 | end |