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