sig
type
'
a t =
'
a
->
Dvm_types
.
TransitionTypes
.cont
->
unit
end