Project

General

Profile

Revision 13507742 src/corelang.mli

View differences:

src/corelang.mli
144 144
val update_expr_annot: ident -> expr -> expr_annot -> expr
145 145
(* val mkpredef_call: Location.t -> ident -> eexpr list -> eexpr*)
146 146

  
147
val functional_backend: unit -> bool
148 147
(* Local Variables: *)
149 148
(* compile-command:"make -C .." *)
150 149
(* End: *)

Also available in: Unified diff