Project

General

Profile

Revision 1b683c9a src/corelang.mli

View differences:

src/corelang.mli
32 32
val mktop: top_decl_desc -> top_decl
33 33

  
34 34
(* constructor for machine types *)
35
val mkinstr: ?lustre_expr:expr option -> ?lustre_eq: eq option -> instr_t_desc -> instr_t
35
val mkinstr: ?lustre_expr:expr -> ?lustre_eq: eq -> instr_t_desc -> instr_t
36 36
val get_instr_desc: instr_t -> instr_t_desc
37 37
val update_instr_desc: instr_t -> instr_t_desc -> instr_t
38 38
  

Also available in: Unified diff