Project

General

Profile

Revision 5500edb8 src/corelang.mli

View differences:

src/corelang.mli
137 137
val update_expr_annot: ident -> expr -> LustreSpec.expr_annot -> expr
138 138
(* val mkpredef_call: Location.t -> ident -> eexpr list -> eexpr*)
139 139

  
140
(* Return the multidimension of the constant. Ie array=1, matrix=2, int=0, ... *)
141
val get_array_const_multidim: constant -> int
142

  
140 143
(* Local Variables: *)
141 144
(* compile-command:"make -C .." *)
142 145
(* End: *)

Also available in: Unified diff