Dvm_types
.
MakeStageSig
(
Dvm_types
.
TransitionTypes
.
InitiatorCommit
).
TSig