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