Project

General

Profile

Revision a6df3992 src/corelang.mli

View differences:

src/corelang.mli
118 118
val rename_static: (ident -> Dimension.dim_expr) -> type_dec_desc -> type_dec_desc
119 119
val rename_carrier: (ident -> ident) -> clock_dec_desc -> clock_dec_desc
120 120

  
121
val get_expr_vars: Utils.ISet.t -> expr -> Utils.ISet.t
121
val get_expr_vars: expr -> Utils.ISet.t
122 122
val expr_replace_var: (ident -> ident) -> expr -> expr
123 123
val eq_replace_rhs_var: (ident -> bool) -> (ident -> ident) -> eq -> eq
124 124

  

Also available in: Unified diff