Module CfgTypes.Cfg.T

module T: CfgTypes.Transition 

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