Revision 6cbbe1c1
Added by Lélio Brun about 2 years ago
| src/machine_code_types.ml | ||
|---|---|---|
| 46 | 46 |
|
| 47 | 47 |
type static_call = top_decl * (Dimension.dim_expr list) |
| 48 | 48 |
|
| 49 |
type mc_transition_t = value_t transition_t |
|
| 50 |
|
|
| 49 | 51 |
type machine_spec = {
|
| 50 | 52 |
mnode_spec: node_spec_t option; |
| 51 |
mtransitions: value_t transition_t list
|
|
| 53 |
mtransitions: mc_transition_t list
|
|
| 52 | 54 |
} |
| 53 | 55 |
|
| 54 | 56 |
type machine_t = {
|
Also available in: Unified diff
start again with spec representation