Module type Dvm_types.MakeStageSig.TSig

module type TSig = functor (GC : Common_types.CoreModuleSig) -> functor (Descriptor : sigtype t 

val get_value : t -> Dvm_types.ViewmgrDescriptor.t
val to_gdesc : t -> GC.t
end) -> functor (Group : MakeVMIF(GC)(ViewmgrDescriptor)(Descriptor).TSig) -> functor (Transition : Dvm_types.TransitionSig  with type desc = Descriptor.t) -> sig .. end

Parameters:

`GC`	:	`Common_types.CoreModuleSig`
`Descriptor`	:	`sig type t val get_value : t -> ViewmgrDescriptor.t val to_gdesc : t -> GC.t end`
`Group`	:	`MakeVMIF(GC)(ViewmgrDescriptor)(Descriptor).TSig`
`Transition`	:	`TransitionSig with type desc = Descriptor.t`

val process_join : Descriptor.t Dvm_types.HandlerTypes.join

val process_leave : Descriptor.t Dvm_types.HandlerTypes.leave

val process_incoming_message : Descriptor.t Dvm_types.HandlerTypes.incoming_message

val process_cache_reply_missing : Descriptor.t Dvm_types.HandlerTypes.cache_reply_missing

val process_timer_set : Dvm_types.HandlerTypes.timer_set

val process_timer_cancelled : Dvm_types.HandlerTypes.timer_cancelled

val process_transition : Descriptor.t T.t