Module type Dvm_types.TransitionSig

module type TransitionSig = sig .. end

type desc 

val to_IEX : desc Dvm_types.TransitionTypes.InitiatorExpanding.t

val to_ICT : desc Dvm_types.TransitionTypes.InitiatorContracting.t

val to_ISY : desc Dvm_types.TransitionTypes.InitiatorSync.t

val to_ICM : desc Dvm_types.TransitionTypes.InitiatorCommit.t

val to_PEX : desc Dvm_types.TransitionTypes.ParticipantExpanding.t

val to_PCT : desc
       Dvm_types.TransitionTypes.ParticipantContracting.t

val to_PSY : desc Dvm_types.TransitionTypes.ParticipantSync.t

val to_PCM : desc Dvm_types.TransitionTypes.ParticipantCommit.t

val to_STD : desc Dvm_types.TransitionTypes.Standard.t