lustrec/src/plugins/plugins.mli @ a7062da6
1 |
open Utils |
---|---|
2 |
open Lustre_types |
3 |
|
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 |
- « Previous
- 1
- …
- 4
- 5
- 6
- Next »