module ParticipantSync: sig .. end
sig
end
type 'a t = 'a -> Common_types.proc_info -> Dvm_types.TransitionTypes.cont -> unit
'a
'a -> Common_types.proc_info -> Dvm_types.TransitionTypes.cont -> unit