libpq/FFI/f-PQdisplayTuples.sml

   1 (* This file has been generated automatically. DO NOT EDIT! *)
   2 (* [from code at "/usr/include/postgresql/libpq-fe.h":335.1-341.15] *)
   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 "PQdisplayTuples"
   8 in
   9 structure F_PQdisplayTuples : sig
  10     val typ :
  11         ((ST_pg_result.tag, ro) su_obj ptr' *
  12          (ST__IO_FILE.tag, rw) su_obj ptr' *
  13          sint *
  14          ro uchar_obj ptr' *
  15          sint *
  16          sint -> unit) fptr T.typ
  17     val fptr :
  18         unit ->
  19             ((ST_pg_result.tag, ro) su_obj ptr' *
  20              (ST__IO_FILE.tag, rw) su_obj ptr' *
  21              sint *
  22              ro uchar_obj ptr' *
  23              sint *
  24              sint -> unit) fptr
  25     val f :
  26         (ST_pg_result.tag, ro) su_obj ptr *
  27         (ST__IO_FILE.tag, rw) su_obj ptr *
  28         MLRep.Signed.int *
  29         ro uchar_obj ptr *
  30         MLRep.Signed.int *
  31         MLRep.Signed.int -> unit
  32     val f' :
  33         (ST_pg_result.tag, ro) su_obj ptr' *
  34         (ST__IO_FILE.tag, rw) su_obj ptr' *
  35         MLRep.Signed.int *
  36         ro uchar_obj ptr' *
  37         MLRep.Signed.int *
  38         MLRep.Signed.int -> unit
  39 end = struct
  40     val typ = FPtrRTTI_11.typ
  41     fun fptr () = mk_fptr (FPtrRTTI_11.mkcall, h ())
  42     fun f (x1, x2, x3, x4, x5, x6)
  43         = call
  44               (fptr (),
  45                (Light.ptr x1,
  46                 Light.ptr x2,
  47                 Cvt.c_sint x3,
  48                 Light.ptr x4,
  49                 Cvt.c_sint x5,
  50                 Cvt.c_sint x6))
  51     fun f' (x1, x2, x3, x4, x5, x6)
  52         = call
  53               (fptr (),
  54                (x1, x2, Cvt.c_sint x3, x4, Cvt.c_sint x5, Cvt.c_sint x6))
  55 end
  56 end