Plasma GitLab Archive
Projects Blog Knowledge

sig
  val bind :
    ?program_number:Rtypes.uint4 ->
    ?version_number:Rtypes.uint4 ->
    proc_null:(Pfs_rpcapi_aux.t_Elect'V1'null'arg ->
               Pfs_rpcapi_aux.t_Elect'V1'null'res) ->
    proc_announce:(Pfs_rpcapi_aux.t_Elect'V1'announce'arg ->
                   Pfs_rpcapi_aux.t_Elect'V1'announce'res) ->
    proc_set_coordinator:(Pfs_rpcapi_aux.t_Elect'V1'set_coordinator'arg ->
                          Pfs_rpcapi_aux.t_Elect'V1'set_coordinator'res) ->
    Rpc_server.t -> unit
  val bind_async :
    ?program_number:Rtypes.uint4 ->
    ?version_number:Rtypes.uint4 ->
    proc_null:(Rpc_server.session ->
               Pfs_rpcapi_aux.t_Elect'V1'null'arg ->
               (Pfs_rpcapi_aux.t_Elect'V1'null'res -> unit) -> unit) ->
    proc_announce:(Rpc_server.session ->
                   Pfs_rpcapi_aux.t_Elect'V1'announce'arg ->
                   (Pfs_rpcapi_aux.t_Elect'V1'announce'res -> unit) -> unit) ->
    proc_set_coordinator:(Rpc_server.session ->
                          Pfs_rpcapi_aux.t_Elect'V1'set_coordinator'arg ->
                          (Pfs_rpcapi_aux.t_Elect'V1'set_coordinator'res ->
                           unit) ->
                          unit) ->
    Rpc_server.t -> unit
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml