Project

General

Profile

Download (288 Bytes) Statistics
| Branch: | Tag: | Revision:
1
open Format
2
open Lustre_types
3
open Machine_code_types
4

    
5
module type MODIFIERS_MAINSRC = sig end
6

    
7
module EmptyMod: MODIFIERS_MAINSRC
8

    
9
module Main (Mod : MODIFIERS_MAINSRC) : sig
10
    val print_main_c: formatter -> machine_t -> string -> program_t -> machine_t list -> dep_t list -> unit
11
end
(10-10/18)