Module Dot_driver.Make.NFParam

module NFParam: sig .. end

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