(* *)
(**************************************************************************)
-include "lambda/rc_hsat.ma".
-
+include "pts_dummy/rc_hsat.ma".
+include "basics/core_notation/napart_2.ma".
+(*
(* THE EVALUATION *************************************************************)
(* The arity of a term t in an environment E *)