Module type CfgTypes.Transition

module type Transition = sig .. end

type 'a transition 
val empty : 'a transition
val iter : ('a -> unit) -> 'a transition -> unit