uniqueOutput.mli

(** Time-stamp: <modified the 28/08/2008 (at 15:52) by Erwan Jahier> *)

(** Check that each output and each local variable is defined at most
    and at least once. Also check that one does not try ti define an input. *)

val check : Eff.node_exp -> Lxm.t -> unit