libpq/FFI/f-lo_unlink.sml

   1 (* This file has been generated automatically. DO NOT EDIT! *)
   2 (* [from code at "/usr/include/postgresql/libpq-fe.h":362.1-47] *)
   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_unlink"
   8 in
   9 structure F_lo_unlink : sig
  10     val typ : ((ST_pg_conn.tag, rw) su_obj ptr' * uint -> sint) fptr T.typ
  11     val fptr :
  12         unit -> ((ST_pg_conn.tag, rw) su_obj ptr' * uint -> sint) fptr
  13     val f :
  14         (ST_pg_conn.tag, rw) su_obj ptr * MLRep.Unsigned.word ->
  15             MLRep.Signed.int
  16     val f' :
  17         (ST_pg_conn.tag, rw) su_obj ptr' * MLRep.Unsigned.word ->
  18             MLRep.Signed.int
  19 end = struct
  20     val typ = FPtrRTTI_49.typ
  21     fun fptr () = mk_fptr (FPtrRTTI_49.mkcall, h ())
  22     fun f (x1, x2)
  23         = Cvt.ml_sint (call (fptr (), (Light.ptr x1, Cvt.c_uint x2)))
  24     fun f' (x1, x2) = Cvt.ml_sint (call (fptr (), (x1, Cvt.c_uint x2)))
  25 end
  26 end