anchor.diff:            then BU.format2 "let %s : %s" (Print.lbname_to_string lb.lbname) (Print.term_to_string (*env*) lb.lbtyp)
             else "") |> String.concat "\n");
   
  +    check_must_erase_attribute env0 se;
  +
       [se], [], env0
   
   (* [tc_decl env se] typechecks [se] in environment [env] and returns *)
  
positive.code:     List.iter (fun se -> env.solver.encode_sig env se) ses';
  
      let exports, hidden =
        check_must_erase_attribute env se;
        if Options.use_extracted_interfaces () then List.rev_append ses' exports, []
        else
          let accum_exports_hidden (exports, hidden) se =
  
negative.code:   | None ->
      tc_decl' env se
  
  let for_export env hidden se : list<sigelt> * list<lident> =
     (* Exporting symbols based on whether they have been marked 'abstract'
  
  