(* *)
(**************************************************************************)
-include "basic_2/syntax/term.ma".
-
-(* BINDERS FOR LOCAL ENVIRONMENTS ******************************************)
-
include "basic_2/syntax/term_weight.ma".
include "basic_2/syntax/bind.ma".