Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by LĂ©lio Brun over 3 years ago

another step towards refactoring

View differences:

src/optimize_prog.mli
1
open Lustre_types
2

  
3
val prog_unfold_consts: program_t -> program_t

Also available in: Unified diff