functor (I : Iteration.Domain) ->
  sig
    type iter = C.t I.t
    val alpha : Transition.Make.t -> Transition.Make.Iter.iter
    val closure : Transition.Make.Iter.iter -> Transition.Make.t
    val star : Transition.Make.t -> Transition.Make.t
    val equal :
      Transition.Make.Iter.iter -> Transition.Make.Iter.iter -> bool
    val widen :
      Transition.Make.Iter.iter ->
      Transition.Make.Iter.iter -> Transition.Make.Iter.iter
    val join :
      Transition.Make.Iter.iter ->
      Transition.Make.Iter.iter -> Transition.Make.Iter.iter
    val pp : Format.formatter -> Transition.Make.Iter.iter -> unit
    val show : Transition.Make.Iter.iter -> string
  end