Revision 6cbbe1c1
Added by Lélio Brun about 2 years ago
| src/spec_types.ml | ||
|---|---|---|
| 14 | 14 |
type predicate_t = |
| 15 | 15 |
(* | Memory_pack *) |
| 16 | 16 |
| Clocked_on of ident |
| 17 |
| Transition |
|
| 17 |
| Transition of ident * int option
|
|
| 18 | 18 |
| Initialization |
| 19 | 19 |
|
| 20 | 20 |
type 'a formula_t = |
Also available in: Unified diff
start again with spec representation