Functor Transition.Make.Iter

module Iter: 
functor (I : Iteration.Domain) -> sig .. end

type iter = C.t I.t 

val alpha : Transition.Make.t -> iter

val closure : iter -> Transition.Make.t

val star : Transition.Make.t -> Transition.Make.t

val equal : iter -> iter -> bool

val widen : iter ->
       iter -> iter

val join : iter ->
       iter -> iter

val pp : Format.formatter -> iter -> unit

val show : iter -> string