libpq/FFI/f-PQresultErrorMessage.sml

   1 (* This file has been generated automatically. DO NOT EDIT! *)
   2 (* [from code at "/usr/include/postgresql/libpq-fe.h":298.1-55] *)
   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 "PQresultErrorMessage"
   8 in
   9 structure F_PQresultErrorMessage : sig
  10     val typ :
  11         ((ST_pg_result.tag, ro) su_obj ptr' -> rw uchar_obj ptr') fptr T.typ
  12     val fptr :
  13         unit ->
  14             ((ST_pg_result.tag, ro) su_obj ptr' -> rw uchar_obj ptr') fptr
  15     val f : (ST_pg_result.tag, ro) su_obj ptr -> rw uchar_obj ptr
  16     val f' : (ST_pg_result.tag, ro) su_obj ptr' -> rw uchar_obj ptr'
  17 end = struct
  18     val typ = FPtrRTTI_30.typ
  19     fun fptr () = mk_fptr (FPtrRTTI_30.mkcall, h ())
  20     fun f x1
  21         = Heavy.ptr (T.pointer T.uchar) (call (fptr (), Light.ptr x1))
  22     fun f' x1 = call (fptr (), x1)
  23 end
  24 end