Module Distributed_viewmanager

module Distributed_viewmanager: sig .. end

module type ParamSig = sig .. end

module MakeImpl: 
functor (Params : ParamSig) -> 
functor (GC : Common_types.CoreModuleSig) -> Dvm_types.ViewManagerFactory(GC)(Dvm_types.ViewmgrDescriptor)(
functor (Descriptor : sig
type t 

val get_value : t -> Dvm_types.ViewmgrDescriptor.t
val to_gdesc : t -> GC.t
end) -> 
functor (Group : Dvm_types.MakeVMIF(GC)(Dvm_types.ViewmgrDescriptor)(Descriptor).TSig) -> sig
module ToGroup: Request_types.Viewmanager_to_group
module DefaultTransition: Dvm_types.DefaultTransition(Descriptor)
module Stages: sig .. end
val create : Common_types.proc_info -> Dvm_types.ViewmgrDescriptor.t
val process_create : Descriptor.t -> 'a -> unit
val process_destroy : Descriptor.t -> unit
val process_is_valid : Descriptor.t -> unit
module F_Ty: Dvm_types.HandlerTypes
module type TblSig = sig .. end
val table_size : int
module JoinTbl: sig .. end
module LeaveTbl: sig .. end
module IncomingMessageTbl: sig .. end
module CacheReplyMissingTbl: sig .. end
module TimerSetTbl: sig .. end
module TimerCancelledTbl: sig .. end
val process_join : Descriptor.t -> View.t -> unit
val process_leave : Descriptor.t -> unit
val process_incoming_message : Descriptor.t -> Proc_info.t -> Iovec.t -> unit
val process_cache_reply_missing : Descriptor.t -> (Seqnum.t * (Proc_info.t * Iovec.t)) list list -> unit
val process_timer_set : Timer.id -> unit
val process_timer_cancelled : Timer.id -> unit
end
)