| 1 | (* This file has been generated automatically. DO NOT EDIT! *) |
| 2 | (* [from code at "/usr/include/postgresql/libpq-fe.h":267.1-40] *) |
| 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 "PQconsumeInput" |
| 8 | in |
| 9 | structure F_PQconsumeInput : sig |
| 10 | val typ : ((ST_pg_conn.tag, rw) su_obj ptr' -> sint) fptr T.typ |
| 11 | val fptr : unit -> ((ST_pg_conn.tag, rw) su_obj ptr' -> sint) fptr |
| 12 | val f : (ST_pg_conn.tag, rw) su_obj ptr -> MLRep.Signed.int |
| 13 | val f' : (ST_pg_conn.tag, rw) su_obj ptr' -> MLRep.Signed.int |
| 14 | end = struct |
| 15 | val typ = FPtrRTTI_9.typ |
| 16 | fun fptr () = mk_fptr (FPtrRTTI_9.mkcall, h ()) |
| 17 | fun f x1 = Cvt.ml_sint (call (fptr (), Light.ptr x1)) |
| 18 | fun f' x1 = Cvt.ml_sint (call (fptr (), x1)) |
| 19 | end |
| 20 | end |