functor (A : CfgTypes.Cfg) (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