anchor.diff:       BU.print1 ">>>>>>>>>>>>>>tc_decl %s\n" (Print.sigelt_to_string se);
   
      tc_decl' env se
  -  end
   
   let for_export env hidden se : list<sigelt> * list<lident> =
      (* Exporting symbols based on whether they have been marked 'abstract'
  
positive.code:         List.fold_left accum_exports_hidden (exports, hidden) ses'
      in
      (List.rev_append ses' ses, exports, env, hidden), ses_elaborated
    in
    // A wrapper to (maybe) print the time taken for each sigelt
    let process_one_decl_timed acc se =
  
negative.code:  * the list of typechecked sig_elts, and a list of new sig_elts elaborated
   * during typechecking but not yet typechecked *)
  let tc_decl env se: list<sigelt> * list<sigelt> * Env.env =
     let env = set_hint_correlator env se in
     if Options.debug_module (string_of_lid env.curmodule) then
       BU.print1 "Processing %s\n" (U.lids_of_sigelt se |> List.map string_of_lid |> String.concat ", ");
  