Functor Interproc_driver.Make_NtsCfg

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

module NtsSys: sig .. end
type control = NtsSys.control 
type anotations = NtsSys.anotations 
type nts_basic_block = {
   mutable head_label :string;
   mutable block :Nts_types.nts_trans_label list list;
   mutable block_succs :(nts_basic_block Pervasives.ref *
Nts_types.nts_trans_label list)
list option
;
}
type nts_function_cfg = {
   mutable nts_cfg_name :string;
   mutable cfg_anot :anotations;
   nts_cfg_blocks :(string, unit) Hashtbl.t;
   nts_cfg_final_block :(string, unit) Hashtbl.t;
   nts_cfg_error_block :(string, unit) Hashtbl.t;
   nts_input_vars :Nts_types.nts_genrel_var list;
   nts_output_vars :Nts_types.nts_genrel_var list;
   nts_local_vars :Nts_types.nts_genrel_var list;
   nts_blocks_transitions :(string, nts_basic_block) Hashtbl.t;
}
type nts_functional_program = {
   nts_fun_glob_vars :Nts_types.nts_genrel_var list;
   nts_fun_function_definitions :nts_function_cfg list option;
   nts_fun_gvars_init :Nts_types.nts_gen_relation list option;
   nts_fun_function_main :nts_function_cfg;
   nts_fun_system_threads :(string * Big_int.big_int) list option;
}