(* This file has been generated automatically. DO NOT EDIT! *)
(* [from code at "/usr/include/postgresql/libpq-fe.h":245.1-247.17] *)
(* [by Matthias Blume's ml-nlffigen (version 0.9.1) for x86-unix] *)
(* Send comments and suggestions to blume@tti-c.org. Thanks! *)
local
    open C.Dim C_Int
    val h = LibpqH.libh "PQsetNoticeProcessor"
in
structure F_PQsetNoticeProcessor : sig
    val typ :
        ((ST_pg_conn.tag, rw) su_obj ptr' *
         (voidptr * ro uchar_obj ptr' -> unit) fptr' *
         voidptr -> (voidptr * ro uchar_obj ptr' -> unit) fptr') fptr T.typ
    val fptr :
        unit ->
            ((ST_pg_conn.tag, rw) su_obj ptr' *
             (voidptr * ro uchar_obj ptr' -> unit) fptr' *
             voidptr -> (voidptr * ro uchar_obj ptr' -> unit) fptr') fptr
    val f :
        (ST_pg_conn.tag, rw) su_obj ptr *
        (voidptr * ro uchar_obj ptr' -> unit) fptr *
        voidptr -> (voidptr * ro uchar_obj ptr' -> unit) fptr
    val f' :
        (ST_pg_conn.tag, rw) su_obj ptr' *
        (voidptr * ro uchar_obj ptr' -> unit) fptr' *
        voidptr -> (voidptr * ro uchar_obj ptr' -> unit) fptr'
end = struct
    val typ = FPtrRTTI_38.typ
    fun fptr () = mk_fptr (FPtrRTTI_38.mkcall, h ())
    fun f (x1, x2, x3)
        = Heavy.fptr
              FPtrRTTI_0.typ
              (call (fptr (), (Light.ptr x1, Light.fptr x2, x3)))
    fun f' (x1, x2, x3) = call (fptr (), (x1, x2, x3))
end
end