sig
  type desc
  val to_IEX :
    Dvm_types.TransitionSig.desc
    Dvm_types.TransitionTypes.InitiatorExpanding.t
  val to_ICT :
    Dvm_types.TransitionSig.desc
    Dvm_types.TransitionTypes.InitiatorContracting.t
  val to_ISY :
    Dvm_types.TransitionSig.desc Dvm_types.TransitionTypes.InitiatorSync.t
  val to_ICM :
    Dvm_types.TransitionSig.desc Dvm_types.TransitionTypes.InitiatorCommit.t
  val to_PEX :
    Dvm_types.TransitionSig.desc
    Dvm_types.TransitionTypes.ParticipantExpanding.t
  val to_PCT :
    Dvm_types.TransitionSig.desc
    Dvm_types.TransitionTypes.ParticipantContracting.t
  val to_PSY :
    Dvm_types.TransitionSig.desc Dvm_types.TransitionTypes.ParticipantSync.t
  val to_PCM :
    Dvm_types.TransitionSig.desc
    Dvm_types.TransitionTypes.ParticipantCommit.t
  val to_STD :
    Dvm_types.TransitionSig.desc Dvm_types.TransitionTypes.Standard.t
end