Plasma GitLab Archive
Projects Blog Knowledge

sig
  val bind :
    ?program_number:Rtypes.uint4 ->
    ?version_number:Rtypes.uint4 ->
    proc_null:(Pfs_rpcapi_aux.t_Auth'V1'null'arg ->
               Pfs_rpcapi_aux.t_Auth'V1'null'res) ->
    proc_get_auth_ticket:(Pfs_rpcapi_aux.t_Auth'V1'get_auth_ticket'arg ->
                          Pfs_rpcapi_aux.t_Auth'V1'get_auth_ticket'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_Auth'V1'null'arg ->
               (Pfs_rpcapi_aux.t_Auth'V1'null'res -> unit) -> unit) ->
    proc_get_auth_ticket:(Rpc_server.session ->
                          Pfs_rpcapi_aux.t_Auth'V1'get_auth_ticket'arg ->
                          (Pfs_rpcapi_aux.t_Auth'V1'get_auth_ticket'res ->
                           unit) ->
                          unit) ->
    Rpc_server.t -> unit
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml