Revision b1655a21 src/lustreSpec.ml
| src/lustreSpec.ml | ||
|---|---|---|
| 32 | 32 |
| Tydec_struct of (ident * type_dec_desc) list |
| 33 | 33 |
| Tydec_array of Dimension.dim_expr * type_dec_desc |
| 34 | 34 |
|
| 35 |
type type_def = |
|
| 36 |
{
|
|
| 37 |
ty_def_id: ident; |
|
| 38 |
ty_def_desc: type_dec_desc} |
|
| 39 |
|
|
| 35 | 40 |
type clock_dec = |
| 36 | 41 |
{ck_dec_desc: clock_dec_desc;
|
| 37 | 42 |
ck_dec_loc: Location.t} |
| ... | ... | |
| 173 | 178 |
| ImportedNode of imported_node_desc |
| 174 | 179 |
| Open of bool * string (* the boolean set to true denotes a local |
| 175 | 180 |
lusi vs a lusi installed at system level *) |
| 181 |
| Type of type_def |
|
| 176 | 182 |
|
| 177 | 183 |
type top_decl = |
| 178 | 184 |
{top_decl_desc: top_decl_desc;
|
Also available in: Unified diff