module T: CfgTypes.Transition
CfgTypes.Transition
type 'a transition
'a
val empty : 'a transition
'a transition
val iter : ('a -> unit) -> 'a transition -> unit
('a -> unit) -> 'a transition -> unit