Revision a7062da6
Added by LĂ©lio Brun over 3 years ago
src/clocks.mli | ||
---|---|---|
45 | 45 |
| Carrier_extrusion of t * carrier_expr |
46 | 46 |
| Clock_extrusion of t * t |
47 | 47 |
|
48 |
(* Nice pretty-printing. Simplifies expressions before printing them. Non-linear |
|
49 |
complexity. *) |
|
48 | 50 |
val pp: Format.formatter -> t -> unit |
51 |
|
|
49 | 52 |
val pp_suffix: Format.formatter -> t -> unit |
50 | 53 |
|
51 | 54 |
val new_var: bool -> t |
... | ... | |
86 | 89 |
|
87 | 90 |
val equal: t -> t -> bool |
88 | 91 |
|
92 |
(* Disjunction relation between variables based upon their static clocks. *) |
|
93 |
val disjoint: t -> t -> bool |
|
94 |
|
|
89 | 95 |
val const_of_carrier: carrier_expr -> ident |
90 | 96 |
|
91 | 97 |
val pp_error: Format.formatter -> error -> unit |
Also available in: Unified diff
another step towards refactoring