Project

General

Profile

Revision 76c7023b src/corelang.mli

View differences:

src/corelang.mli
140 140
val update_expr_annot: ident -> expr -> expr_annot -> expr
141 141
(* val mkpredef_call: Location.t -> ident -> eexpr list -> eexpr*)
142 142

  
143
val functional_backend: unit -> bool
143 144
(* Local Variables: *)
144 145
(* compile-command:"make -C .." *)
145 146
(* End: *)

Also available in: Unified diff