1 (* This file has been generated automatically
. DO NOT EDIT
! *)
2 (* [from code at
"/usr/include/postgresql/libpq-fe.h":220.1-38] *)
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
"PQdb"
11 ((ST_pg_conn
.tag
, ro
) su_obj ptr
' -> rw uchar_obj ptr
') fptr T
.typ
14 ((ST_pg_conn
.tag
, ro
) su_obj ptr
' -> rw uchar_obj ptr
') fptr
15 val f
: (ST_pg_conn
.tag
, ro
) su_obj ptr
-> rw uchar_obj ptr
16 val f
' : (ST_pg_conn
.tag
, ro
) su_obj ptr
' -> rw uchar_obj ptr
'
18 val typ
= FPtrRTTI_10
.typ
19 fun fptr () = mk_fptr (FPtrRTTI_10
.mkcall
, h ())
21 = Heavy
.ptr (T
.pointer T
.uchar
) (call (fptr (), Light
.ptr x1
))
22 fun f
' x1
= call (fptr (), x1
)