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