Project

General

Profile

Revision 3769b712 src/modules.mli

View differences:

src/modules.mli
1
open Lustre_types
2
open Utils
1
open Lustrec.Lustre_types
2
open Lustrec.Utils
3 3

  
4 4
(* This module is used to load lusic files when open(ing) modules in
5 5
   lustre/lusi sources *)
......
14 14

  
15 15
   Returns an extended prog along with dependencies of #open and a type/clock base env. 
16 16
 *)
17
val load: is_header:bool -> program_t -> program_t * dep_t list * ( Typing.type_expr Env.t * Clocks.clock_expr Env.t)
17
val load: is_header:bool -> program_t -> program_t * dep_t list * ( Lustrec.Typing.type_expr Lustrec.Env.t * Lustrec.Clocks.clock_expr Lustrec.Env.t)
18 18

  
19 19
(* Returns an updated env with the type/clock declaration of the program  *)
20
val get_envs_from_top_decls: program_t -> Typing.type_expr Env.t * Clocks.clock_expr Env.t
20
val get_envs_from_top_decls: program_t -> Lustrec.Typing.type_expr Lustrec.Env.t * Lustrec.Clocks.clock_expr Lustrec.Env.t
21 21
 

Also available in: Unified diff