Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by LĂ©lio Brun over 3 years ago

another step towards refactoring

View differences:

src/inliner.mli
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

Also available in: Unified diff