module Nts_spl_intermediate_language_types:sig
..end
typentl_spl_il_label =
string
typepoint =
ntl_spl_il_label
type
ntl_spl_il_instruction =
| |
NS_Skip |
| |
NS_Halt |
| |
NS_Fail |
| |
NS_Assume |
| |
NS_If of |
| |
NS_Goto of |
| |
NS_Call of |
| |
NS_local of |
type
ntl_spl_il_instr = {
|
ns_insturction : |
|
ns_ipoint : |
type
ntl_spl_block = {
|
ns_bpoint : |
|
ns_instrs : |
type
nts_spl_il_procedure = {
|
ns_pname : |
|
ns_pinput : |
|
ns_poutput : |
|
ns_pcode : |
type
nts_spl_il_program = {
|
ns_global : |
|
ns_initial : |
|
ns_final : |
|
ns_procedures : |
|
ns_threads : |