libpq/FFI/f-PQprintTuples.sml

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