Module Nts_functor

module Nts_functor: sig .. end
This files provide a functorial interface for the numerical transition system definition.

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: 
functor (Param : NTS_PARAM) -> sig .. end
Signature definition of the Make functor.