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