module Nts_functor:sig
..end
Nts_functor.Make contains all types and functions definitions.
--Click on module Make to get a comprehensive list when browsing
the html API.
exception UnboundVarName of string
exception No_such_counter_automata_in_nts_system of string * string
module type NTS_PARAM =sig
..end
module Make: