1 (* This file has been generated automatically
. DO NOT EDIT
! *)
2 (* [from code at
"/usr/include/postgresql/libpq-fe.h":197.1-35] *)
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
! *)
7 val h
= LibpqH
.libh
"PQfinish"
9 structure F_PQfinish
: sig
10 val typ
: ((ST_pg_conn
.tag
, rw
) su_obj ptr
' -> unit
) fptr T
.typ
11 val fptr
: unit
-> ((ST_pg_conn
.tag
, rw
) su_obj ptr
' -> unit
) fptr
12 val f
: (ST_pg_conn
.tag
, rw
) su_obj ptr
-> unit
13 val f
' : (ST_pg_conn
.tag
, rw
) su_obj ptr
' -> unit
15 val typ
= FPtrRTTI_16
.typ
16 fun fptr () = mk_fptr (FPtrRTTI_16
.mkcall
, h ())
17 fun f x1
= call (fptr (), Light
.ptr x1
)
18 fun f
' x1
= call (fptr (), x1
)