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