libpq/FFI/f-lo_write.sml

   1 (* This file has been generated automatically. DO NOT EDIT! *)
   2 (* [from code at "/usr/include/postgresql/libpq-fe.h":358.1-65] *)
   3 (* [by Matthias Blume's ml-nlffigen (version 0.9) for x86-unix] *)
   4 (* Send comments and suggestions to blume@research.bell-labs.com. Thanks! *)
   5 local
   6     open C.Dim C_Int
   7     val h = LibpqH.libh "lo_write"
   8 in
   9 structure F_lo_write : sig
  10     val typ :
  11         ((ST_pg_conn.tag, rw) su_obj ptr' *
  12          sint *
  13          rw uchar_obj ptr' *
  14          uint -> sint) fptr T.typ
  15     val fptr :
  16         unit ->
  17             ((ST_pg_conn.tag, rw) su_obj ptr' *
  18              sint *
  19              rw uchar_obj ptr' *
  20              uint -> sint) fptr
  21     val f :
  22         (ST_pg_conn.tag, rw) su_obj ptr *
  23         MLRep.Signed.int *
  24         rw uchar_obj ptr *
  25         MLRep.Unsigned.word -> MLRep.Signed.int
  26     val f' :
  27         (ST_pg_conn.tag, rw) su_obj ptr' *
  28         MLRep.Signed.int *
  29         rw uchar_obj ptr' *
  30         MLRep.Unsigned.word -> MLRep.Signed.int
  31 end = struct
  32     val typ = FPtrRTTI_48.typ
  33     fun fptr () = mk_fptr (FPtrRTTI_48.mkcall, h ())
  34     fun f (x1, x2, x3, x4)
  35         = Cvt.ml_sint
  36               (call
  37                   (fptr (),
  38                    (Light.ptr x1,
  39                     Cvt.c_sint x2,
  40                     Light.ptr x3,
  41                     Cvt.c_uint x4)))
  42     fun f' (x1, x2, x3, x4)
  43         = Cvt.ml_sint
  44               (call (fptr (), (x1, Cvt.c_sint x2, x3, Cvt.c_uint x4)))
  45 end
  46 end