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