Revision 3e1d20e0
Added by Pierre-Loïc Garoche over 4 years ago
| src/corelang.mli | ||
|---|---|---|
| 98 | 98 |
val expr_of_dimension: Dimension.dim_expr -> expr |
| 99 | 99 |
val dimension_of_expr: expr -> Dimension.dim_expr |
| 100 | 100 |
val dimension_of_const: Location.t -> constant -> Dimension.dim_expr |
| 101 |
|
|
| 101 |
val expr_to_eexpr: expr -> eexpr |
|
| 102 | 102 |
(* REMOVED, pushed in utils.ml val new_tag : unit -> tag *) |
| 103 | 103 |
|
| 104 | 104 |
val add_internal_funs: unit -> unit |
Also available in: Unified diff
[MCDC] Solved some issues and transformed the code from iterators to fold