Project

General

Profile

Download (305 Bytes) Statistics
| Branch: | Tag: | Revision:
1
open Utils
2
open Lustre_types
3

    
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
(6-6/6)