(* This file has been generated automatically. DO NOT EDIT! *)
(* [from code at "/usr/include/postgresql/libpq-fe.h":258.1-42] *)
(* [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 "PQnotifies"
in
structure F_PQnotifies : sig
    val typ :
        ((ST_pg_conn.tag, rw) su_obj ptr' ->
             (ST_pgNotify.tag, rw) su_obj ptr') fptr T.typ
    val fptr :
        unit ->
            ((ST_pg_conn.tag, rw) su_obj ptr' ->
                 (ST_pgNotify.tag, rw) su_obj ptr') fptr
    val f :
        (ST_pg_conn.tag, rw) su_obj ptr ->
            (ST_pgNotify.tag, rw) su_obj ptr
    val f' :
        (ST_pg_conn.tag, rw) su_obj ptr' ->
            (ST_pgNotify.tag, rw) su_obj ptr'
end = struct
    val typ = FPtrRTTI_29.typ
    fun fptr () = mk_fptr (FPtrRTTI_29.mkcall, h ())
    fun f x1
        = Heavy.ptr
              (T.pointer ST_pgNotify.typ) (call (fptr (), Light.ptr x1))
    fun f' x1 = call (fptr (), x1)
end
end