module Make_NtsCfg:
Parameters: |
|
module NtsSys:sig
..end
typecontrol =
NtsSys.control
typeanotations =
NtsSys.anotations
type
nts_basic_block = {
|
mutable head_label : |
|
mutable block : |
|
mutable block_succs : |
type
nts_function_cfg = {
|
mutable nts_cfg_name : |
|
mutable cfg_anot : |
|
nts_cfg_blocks : |
|
nts_cfg_final_block : |
|
nts_cfg_error_block : |
|
nts_input_vars : |
|
nts_output_vars : |
|
nts_local_vars : |
|
nts_blocks_transitions : |
type
nts_functional_program = {
|
nts_fun_glob_vars : |
|
nts_fun_function_definitions : |
|
nts_fun_gvars_init : |
|
nts_fun_function_main : |
|
nts_fun_system_threads : |