Revision c00d0b42 src/corelang.ml
| src/corelang.ml | ||
|---|---|---|
| 118 | 118 |
nodei_outputs: var_decl list; |
| 119 | 119 |
nodei_stateless: bool; |
| 120 | 120 |
nodei_spec: LustreSpec.node_annot option; |
| 121 |
nodei_prototype: string option; |
|
| 122 |
nodei_in_lib: string option; |
|
| 121 | 123 |
} |
| 122 | 124 |
|
| 123 | 125 |
type const_desc = |
| ... | ... | |
| 128 | 130 |
} |
| 129 | 131 |
|
| 130 | 132 |
type top_decl_desc = |
| 131 |
| Node of node_desc |
|
| 132 |
| Consts of const_desc list |
|
| 133 |
| ImportedNode of imported_node_desc |
|
| 134 |
| Open of string |
|
| 133 |
| Node of node_desc |
|
| 134 |
| Consts of const_desc list |
|
| 135 |
| ImportedNode of imported_node_desc |
|
| 136 |
| Open of bool * string (* the boolean set to true denotes a local |
|
| 137 |
lusi vs a lusi installed at system level *) |
|
| 135 | 138 |
|
| 136 | 139 |
type top_decl = |
| 137 | 140 |
{top_decl_desc: top_decl_desc;
|
| ... | ... | |
| 753 | 756 |
nodei_inputs = vdecls_of_typ_ck cpt tin; |
| 754 | 757 |
nodei_outputs = vdecls_of_typ_ck cpt tout; |
| 755 | 758 |
nodei_stateless = Types.get_static_value ty <> None; |
| 756 |
nodei_spec = spec}) |
|
| 759 |
nodei_spec = spec; |
|
| 760 |
nodei_prototype = None; |
|
| 761 |
nodei_in_lib = None; |
|
| 762 |
}) |
|
| 757 | 763 |
|
| 758 | 764 |
let add_internal_funs () = |
| 759 | 765 |
List.iter |
Also available in: Unified diff