Plasma GitLab Archive
Projects Blog Knowledge

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