anchor.diff:          | Inr lid -> Ident.string_of_lid lid in
         let typ_str =
           if List.mem "type" requested_info then
  -          Some (FStar.Syntax.Print.term_to_string typ) //every entry in the table should already be normalized
  +          Some (term_to_string tcenv typ)
           else None in
         let doc_str =
           match name_or_lid with
  
positive.code:           match find_let_body ses with
            | None -> (QueryNOK, JsonStr "Typechecking yielded an unexpected term")
            | Some def -> let normalized = normalize_term tcenv rules def in
                         (QueryOK, JsonStr (Syntax.Print.term_to_string normalized))
          with | e -> (QueryNOK, (match FStar.Errors.issue_of_exn e with
                                  | Some issue -> JsonStr (FStar.Errors.format_issue issue)
                                  | None -> raise e)))
  
negative.code:       let cmp r1 r2 = Util.compare r1.sc_lid.str r2.sc_lid.str in
        let results = List.filter matches_all all_candidates in
        let sorted = Util.sort_with cmp results in
        let js = List.map (json_of_search_result dsenv tcenv) sorted in
        match results with
        | [] -> let kwds = Util.concat_l " " (List.map pprint_one terms) in
                raise (InvalidSearch (Util.format1 "No results found for query [%s]" kwds))
  