Revision 13507742
Added by Pierre-Loïc Garoche about 6 years ago
| 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
Refactored some code: optimization of machine