Project

General

Profile

« Previous | Next » 

Revision 3e1d20e0

Added by Pierre-Loïc Garoche over 4 years ago

[MCDC] Solved some issues and transformed the code from iterators to fold

View differences:

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