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