Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by LĂ©lio Brun over 3 years ago

another step towards refactoring

View differences:

src/plugins/plugins.mli
2 2
open Lustre_types
3 3

  
4 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

Also available in: Unified diff