Module Interproc_driver

module Interproc_driver: sig .. end
This functor aims at definiting an interface. between nts control flow graphs and interproc SPL languge.

For any comment or question, please write to :

florent dot garnier at imag dot fr or florent dot garnier at gmail dot com

(c) Verimag 2012, released under LGPL v.2.1.

WARNING : This current developpement is on the verge to be modified soon --Febuary 2013.


module Make_NtsCfg: 
functor (Param : Nts_functor.NTS_PARAM) -> sig .. end
module Make: 
functor (Param : Nts_functor.NTS_PARAM) -> sig .. end