CristalCaveGem » LustreC

let rec expr_replace_var fvar e = 

 { e with dim_desc = expr_replace_desc fvar e.dim_desc }

and expr_replace_desc fvar e =

  let re = expr_replace_var fvar in

  match e with

  | Dvar

  | Dunivar

  | Dbool _

  | Dint _ -> e

  | Dident v -> Dident (fvar v)

  | Dappl (id, el) -> Dappl (id, List.map re el)

  | Dite (g,t,e) -> Dite (re g, re t, re e)

  | Dlink e -> Dlink (re e)