+++ /dev/null
-(* This file has been generated automatically. DO NOT EDIT! *)
-(* [from code at "/usr/include/postgresql/libpq-fe.h":343.1-348.16] *)
-(* [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 "PQprintTuples"
-in
-structure F_PQprintTuples : sig
- val typ :
- ((ST_pg_result.tag, ro) su_obj ptr' *
- (ST__IO_FILE.tag, rw) su_obj ptr' *
- sint *
- sint *
- sint -> unit) fptr T.typ
- val fptr :
- unit ->
- ((ST_pg_result.tag, ro) su_obj ptr' *
- (ST__IO_FILE.tag, rw) su_obj ptr' *
- sint *
- sint *
- sint -> unit) fptr
- val f :
- (ST_pg_result.tag, ro) su_obj ptr *
- (ST__IO_FILE.tag, rw) su_obj ptr *
- MLRep.Signed.int *
- MLRep.Signed.int *
- MLRep.Signed.int -> unit
- val f' :
- (ST_pg_result.tag, ro) su_obj ptr' *
- (ST__IO_FILE.tag, rw) su_obj ptr' *
- MLRep.Signed.int *
- MLRep.Signed.int *
- MLRep.Signed.int -> unit
-end = struct
- val typ = FPtrRTTI_33.typ
- fun fptr () = mk_fptr (FPtrRTTI_33.mkcall, h ())
- fun f (x1, x2, x3, x4, x5)
- = call
- (fptr (),
- (Light.ptr x1,
- Light.ptr x2,
- Cvt.c_sint x3,
- Cvt.c_sint x4,
- Cvt.c_sint x5))
- fun f' (x1, x2, x3, x4, x5)
- = call
- (fptr (),
- (x1, x2, Cvt.c_sint x3, Cvt.c_sint x4, Cvt.c_sint x5))
-end
-end