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