Revision a7062da6
Added by LĂ©lio Brun over 3 years ago
src/plugins/plugins.mli | ||
---|---|---|
2 | 2 |
open Lustre_types |
3 | 3 |
|
4 | 4 |
val inline_annots: (ident -> ident) -> expr_annot list -> expr_annot list |
5 |
|
|
6 |
val check_force_stateful: unit -> bool |
|
7 |
|
|
8 |
val c_backend_main_loop_body_prefix: string -> string -> Format.formatter -> unit -> unit |
|
9 |
val c_backend_main_loop_body_suffix: Format.formatter -> unit -> unit |
Also available in: Unified diff
another step towards refactoring