Revision a7062da6
Added by LĂ©lio Brun over 3 years ago
src/optimize_prog.mli | ||
---|---|---|
1 |
open Lustre_types |
|
2 |
|
|
3 |
val prog_unfold_consts: program_t -> program_t |
Also available in: Unified diff
src/optimize_prog.mli | ||
---|---|---|
1 |
open Lustre_types |
|
2 |
|
|
3 |
val prog_unfold_consts: program_t -> program_t |
Also available in: Unified diff
another step towards refactoring