functor (Param : Nts_functor.NTS_PARAM->
  sig
    module NFParam :
      sig
        type anotations = Nts_functor.Make(Param).anotations
        type control = Nts_functor.Make(Param).control
        type nts_automaton = Nts_functor.Make(Param).nts_automaton
        type nts_system = Nts_functor.Make(Param).nts_system
      end
    type anotations = Dot_driver.Make.NFParam.anotations
    type control = Dot_driver.Make.NFParam.control
    type nts_automaton = Dot_driver.Make.NFParam.nts_automaton
    type nts_system = Dot_driver.Make.NFParam.nts_system
    val dot_of_cautomaton :
      ?standalone_graph:bool ->
      Dot_driver.Make.NFParam.nts_automaton -> string
    val dot_of_nts : Dot_driver.Make.NFParam.nts_system -> string
    val dot_of_trace_upon_nts :
      Dot_driver.Make.NFParam.nts_system -> Trace_types.trace -> string
    val dot_of_subcfg_of_nts :
      Dot_driver.Make.NFParam.nts_system -> Trace_types.trace -> string
    val dot_of_all_subsystem_of_nts :
      Dot_driver.Make.NFParam.nts_system -> string
  end