functor (A : CfgTypes.Cfg) ->
functor (B : CfgTypes.Cfg) ->
sig
type t = A.cfg * B.cfg * B.node array
val create : A.cfg -> 'a -> A.cfg * 'a * B.node array
val set_image : 'a * 'b * 'c array -> A.node -> 'c -> unit
val image : 'a * B.cfg * B.node array -> A.node -> B.node
val copy :
A.cfg * B.cfg * B.node array ->
(A.node -> A.transition -> B.transition) -> unit
end