libpq/FFI/f-PQsetNoticeProcessor.sml

   1 (* This file has been generated automatically. DO NOT EDIT! *)
   2 (* [from code at "/usr/include/postgresql/libpq-fe.h":245.1-247.17] *)
   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 "PQsetNoticeProcessor"
   8 in
   9 structure F_PQsetNoticeProcessor : sig
  10     val typ :
  11         ((ST_pg_conn.tag, rw) su_obj ptr' *
  12          (voidptr * ro uchar_obj ptr' -> unit) fptr' *
  13          voidptr -> (voidptr * ro uchar_obj ptr' -> unit) fptr') fptr T.typ
  14     val fptr :
  15         unit ->
  16             ((ST_pg_conn.tag, rw) su_obj ptr' *
  17              (voidptr * ro uchar_obj ptr' -> unit) fptr' *
  18              voidptr -> (voidptr * ro uchar_obj ptr' -> unit) fptr') fptr
  19     val f :
  20         (ST_pg_conn.tag, rw) su_obj ptr *
  21         (voidptr * ro uchar_obj ptr' -> unit) fptr *
  22         voidptr -> (voidptr * ro uchar_obj ptr' -> unit) fptr
  23     val f' :
  24         (ST_pg_conn.tag, rw) su_obj ptr' *
  25         (voidptr * ro uchar_obj ptr' -> unit) fptr' *
  26         voidptr -> (voidptr * ro uchar_obj ptr' -> unit) fptr'
  27 end = struct
  28     val typ = FPtrRTTI_38.typ
  29     fun fptr () = mk_fptr (FPtrRTTI_38.mkcall, h ())
  30     fun f (x1, x2, x3)
  31         = Heavy.fptr
  32               FPtrRTTI_0.typ
  33               (call (fptr (), (Light.ptr x1, Light.fptr x2, x3)))
  34     fun f' (x1, x2, x3) = call (fptr (), (x1, x2, x3))
  35 end
  36 end