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