Project

General

Profile

Revision 8446bf03 src/corelang.mli

View differences:

src/corelang.mli
10 10
(********************************************************************)
11 11

  
12 12

  
13
open LustreSpec
13
open Lustre_types
14 14

  
15 15
exception Error of Location.t * Error.error_kind
16 16
module VSet: Set.S
......
29 29
    string option (* parent id *)
30 30
  -> var_decl
31 31

  
32
val var_decl_of_const: ?parentid:LustreSpec.ident option -> const_desc -> var_decl
32
val var_decl_of_const: ?parentid:ident option -> const_desc -> var_decl
33 33
val mkexpr: Location.t ->  expr_desc -> expr
34 34
val mkeq: Location.t -> ident list * expr -> eq
35 35
val mkassert: Location.t -> expr -> assert_t
......
40 40
val mktop: top_decl_desc -> top_decl
41 41

  
42 42
(* constructor for machine types *)
43
val mkinstr: ?lustre_expr:expr -> ?lustre_eq: eq -> instr_t_desc -> instr_t
44
val get_instr_desc: instr_t -> instr_t_desc
45
val update_instr_desc: instr_t -> instr_t_desc -> instr_t
43
val mkinstr: ?lustre_expr:expr -> ?lustre_eq: eq -> Machine_code_types.instr_t_desc -> Machine_code_types.instr_t
44
val get_instr_desc: Machine_code_types.instr_t -> Machine_code_types.instr_t_desc
45
val update_instr_desc: Machine_code_types.instr_t -> Machine_code_types.instr_t_desc -> Machine_code_types.instr_t
46 46
  
47 47
val node_table : (ident, top_decl) Hashtbl.t
48 48
val print_node_table:  Format.formatter -> unit -> unit

Also available in: Unified diff