+++ /dev/null
-(* This file has been generated automatically. DO NOT EDIT! *)
-(* [from code at "/usr/include/postgresql/libpq-fe.h":327.1-330.24] *)
-(* [by Matthias Blume's ml-nlffigen (version 0.9.1) for x86-unix] *)
-(* Send comments and suggestions to blume@tti-c.org. Thanks! *)
-local
- open C.Dim C_Int
- val h = LibpqH.libh "PQprint"
-in
-structure F_PQprint : sig
- val typ :
- ((ST__IO_FILE.tag, rw) su_obj ptr' *
- (ST_pg_result.tag, ro) su_obj ptr' *
- (ST__PQprintOpt.tag, ro) su_obj ptr' -> unit) fptr T.typ
- val fptr :
- unit ->
- ((ST__IO_FILE.tag, rw) su_obj ptr' *
- (ST_pg_result.tag, ro) su_obj ptr' *
- (ST__PQprintOpt.tag, ro) su_obj ptr' -> unit) fptr
- val f :
- (ST__IO_FILE.tag, rw) su_obj ptr *
- (ST_pg_result.tag, ro) su_obj ptr *
- (ST__PQprintOpt.tag, ro) su_obj ptr -> unit
- val f' :
- (ST__IO_FILE.tag, rw) su_obj ptr' *
- (ST_pg_result.tag, ro) su_obj ptr' *
- (ST__PQprintOpt.tag, ro) su_obj ptr' -> unit
-end = struct
- val typ = FPtrRTTI_32.typ
- fun fptr () = mk_fptr (FPtrRTTI_32.mkcall, h ())
- fun f (x1, x2, x3)
- = call (fptr (), (Light.ptr x1, Light.ptr x2, Light.ptr x3))
- fun f' (x1, x2, x3) = call (fptr (), (x1, x2, x3))
-end
-end