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