Project

General

Profile

Revision 3ca27bc7 src/corelang.mli

View differences:

src/corelang.mli
31 31
val mk_new_node_name: node_desc -> ident -> ident
32 32
val mktop: top_decl_desc -> top_decl
33 33

  
34

  
34
(* constructor for machine types *)
35
val mkinstr: (* TODO ?lustre_expr:expr -> ?lustre_eq: eq option -> *) instr_t_desc -> instr_t
36
val get_instr_desc: instr_t -> instr_t_desc
37
val update_instr_desc: instr_t -> instr_t_desc -> instr_t
38
  
35 39
val node_table : (ident, top_decl) Hashtbl.t
36 40
val print_node_table:  Format.formatter -> unit -> unit
37 41
val node_name: top_decl -> ident

Also available in: Unified diff