(** Time-stamp: <modified the 26/01/2009 (at 15:45) by Erwan Jahier> *)


(** Expand strutures and arrays  *)
val node : Eff.id_solver -> Eff.local_env -> Eff.node_exp -> Eff.node_exp