CristalCaveGem » LustreC

    eexpr_quantifiers = [];

    eexpr_type = Types.new_var ();

    eexpr_clock = Clocks.new_var true;

    eexpr_loc = loc }

let extend_eexpr q e = { e with eexpr_quantifiers = q@e.eexpr_quantifiers }

     eexpr_tag = Utils.new_tag ();

     eexpr_qfexpr = rename_expr f_node f_var ee.eexpr_qfexpr;

     eexpr_quantifiers = List.map (fun (typ,vdecls) -> typ, rename_vars f_node f_var vdecls) ee.eexpr_quantifiers;

   }

     eexpr_type = expr.expr_type;

     eexpr_clock = expr.expr_clock;

     eexpr_loc = expr.expr_loc;

   }

 (* and expr_desc_to_eexpr_desc expr_desc = *)

 (*   let conv = expr_to_eexpr in *)