evalType.mli

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

 
(** Evaluates the type of an expression. *)
val f : Eff.id_solver -> Eff.val_exp -> Eff.type_ list


(* Returns the type of an expression. Note that this function uses
   an internal table, and therefore it should not be called before
   the type checking has been done (by the function f above).*)
val val_exp_eff : Eff.val_exp -> Eff.type_ list