anchor.diff:  
     let def_of_lid lid =
       Util.bind_opt (TcEnv.lookup_qname tcenv lid) (function
  -      | (Inr (se, _), _) -> Some (Syntax.Print.sigelt_to_string se)
  +      | (Inr (se, _), _) -> Some (sigelt_to_string se)
         | _ -> None) in
   
     let info_at_pos_opt =
  
positive.code:                                    ("documentation", json_of_opt JsonStr doc)])
                         opts_and_defaults))]
  
  let run_exit st =
    ((QueryOK, JsonNull), Inr 0)
  
  
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))
  