Fixing for 110.46
[hcoop/smlsql.git] / libpq / FFI / f-PQprint.sml
CommitLineData
f147efc8
AC
1(* This file has been generated automatically. DO NOT EDIT! *)
2(* [from code at "/usr/include/postgresql/libpq-fe.h":327.1-330.24] *)
790a48a1
AC
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! *)
f147efc8
AC
5local
6 open C.Dim C_Int
7 val h = LibpqH.libh "PQprint"
8in
9structure F_PQprint : sig
10 val typ :
11 ((ST__IO_FILE.tag, rw) su_obj ptr' *
12 (ST_pg_result.tag, ro) su_obj ptr' *
13 (ST__PQprintOpt.tag, ro) su_obj ptr' -> unit) fptr T.typ
14 val fptr :
15 unit ->
16 ((ST__IO_FILE.tag, rw) su_obj ptr' *
17 (ST_pg_result.tag, ro) su_obj ptr' *
18 (ST__PQprintOpt.tag, ro) su_obj ptr' -> unit) fptr
19 val f :
20 (ST__IO_FILE.tag, rw) su_obj ptr *
21 (ST_pg_result.tag, ro) su_obj ptr *
22 (ST__PQprintOpt.tag, ro) su_obj ptr -> unit
23 val f' :
24 (ST__IO_FILE.tag, rw) su_obj ptr' *
25 (ST_pg_result.tag, ro) su_obj ptr' *
26 (ST__PQprintOpt.tag, ro) su_obj ptr' -> unit
27end = struct
28 val typ = FPtrRTTI_32.typ
29 fun fptr () = mk_fptr (FPtrRTTI_32.mkcall, h ())
30 fun f (x1, x2, x3)
31 = call (fptr (), (Light.ptr x1, Light.ptr x2, Light.ptr x3))
32 fun f' (x1, x2, x3) = call (fptr (), (x1, x2, x3))
33end
34end