lustrec/src/inliner.mli @ a7062da6
1 |
open Utils |
---|---|
2 |
open Lustre_types |
3 |
|
4 |
val global_inline: program_t -> program_t |
5 |
val local_inline: program_t -> program_t |
6 |
|
7 |
val keyword: ident list |