Project

General

Profile

Revision 3e1d20e0 src/corelang.mli

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