Project

General

Profile

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

    
5
module type MODIFIERS_MKF = sig
6
  val other_targets : formatter -> string -> string -> dep_t list -> unit
7
end
8

    
9
module EmptyMod : MODIFIERS_MKF
10

    
11
module Main (Mod : MODIFIERS_MKF) : sig
12
  val print_makefile: string -> string -> dep_t list -> formatter -> unit
13
end
14

    
15
val fprintf_dependencies: formatter -> dep_t list -> unit
16
val compiled_dependencies: dep_t list -> dep_t list
17
val lib_dependencies: dep_t list -> ident list
(12-12/18)