functor (A : CfgTypes.Cfg->
  functor (B : CfgTypes.Cfg->
    sig
      type t = A.cfg * B.cfg * B.node array
      val create : A.cfg -> '-> A.cfg * 'a * B.node array
      val set_image : 'a * 'b * 'c array -> A.node -> '-> 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