module NtsSys: sig .. end
sig
end
type anotations = Nts_functor.Make(Param).anotations
Nts_functor.Make(Param).anotations
type control = Nts_functor.Make(Param).control
Nts_functor.Make(Param).control
type nts_automaton = Nts_functor.Make(Param).nts_automaton
Nts_functor.Make(Param).nts_automaton
type nts_system = Nts_functor.Make(Param).nts_system
Nts_functor.Make(Param).nts_system