sig
  module Make :
    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
end