Plasma GitLab Archive
Projects Blog Knowledge

sig
  module V1 :
    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
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml