libpq/FFI/f-PQtrace.sml

   1 (* This file has been generated automatically. DO NOT EDIT! *)
   2 (* [from code at "/usr/include/postgresql/libpq-fe.h":241.1-52] *)
   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! *)
   5 local
   6     open C.Dim C_Int
   7     val h = LibpqH.libh "PQtrace"
   8 in
   9 structure F_PQtrace : sig
  10     val typ :
  11         ((ST_pg_conn.tag, rw) su_obj ptr' *
  12          (ST__IO_FILE.tag, rw) su_obj ptr' -> unit) fptr T.typ
  13     val fptr :
  14         unit ->
  15             ((ST_pg_conn.tag, rw) su_obj ptr' *
  16              (ST__IO_FILE.tag, rw) su_obj ptr' -> unit) fptr
  17     val f :
  18         (ST_pg_conn.tag, rw) su_obj ptr * (ST__IO_FILE.tag, rw) su_obj ptr ->
  19             unit
  20     val f' :
  21         (ST_pg_conn.tag, rw) su_obj ptr' *
  22         (ST__IO_FILE.tag, rw) su_obj ptr' -> unit
  23 end = struct
  24     val typ = FPtrRTTI_42.typ
  25     fun fptr () = mk_fptr (FPtrRTTI_42.mkcall, h ())
  26     fun f (x1, x2) = call (fptr (), (Light.ptr x1, Light.ptr x2))
  27     fun f' (x1, x2) = call (fptr (), (x1, x2))
  28 end
  29 end