inline.mli

(** Time-stamp: <modified the 20/11/2008 (at 13:44) by Erwan Jahier> *)


(** Inline iterators

    The node local_env is provided so that we can update its table, as
    we add some fresh local variables during the code transmation.

*)
val iterators : Eff.local_env -> Eff.id_solver -> Eff.node_exp -> Eff.node_exp