Revision c00d0b42 src/corelang.mli
| src/corelang.mli | ||
|---|---|---|
| 114 | 114 |
nodei_inputs: var_decl list; |
| 115 | 115 |
nodei_outputs: var_decl list; |
| 116 | 116 |
nodei_stateless: bool; |
| 117 |
nodei_spec: LustreSpec.node_annot option;} |
|
| 117 |
nodei_spec: LustreSpec.node_annot option; |
|
| 118 |
nodei_prototype: string option; |
|
| 119 |
nodei_in_lib: string option; |
|
| 120 |
} |
|
| 118 | 121 |
(* |
| 119 | 122 |
type imported_fun_desc = |
| 120 | 123 |
{fun_id: ident;
|
| ... | ... | |
| 144 | 147 |
(* | ImportedFun of imported_fun_desc *) |
| 145 | 148 |
(* | SensorDecl of sensor_desc *) |
| 146 | 149 |
(* | ActuatorDecl of actuator_desc *) |
| 147 |
| Open of string |
|
| 150 |
| Open of bool * string
|
|
| 148 | 151 |
|
| 149 | 152 |
type top_decl = |
| 150 | 153 |
{top_decl_desc: top_decl_desc;
|
Also available in: Unified diff