anchor.diff:        ("dump_module"                  , List []);
         ("eager_inference"              , Bool false);
         ("expose_interfaces"            , Bool false);
  +      ("extract"                      , Unset);
         ("extract_all"                  , Bool false);
         ("extract_module"               , List []);
         ("extract_namespace"            , List []);
  
positive.code:         "Solve all type-inference constraints eagerly; more efficient but at the cost of generality");
  
         ( noshort,
          "extract_module",
          Accumulated (PostProcessed (pp_lowercase, (SimpleStr "module_name"))),
          "Only extract the specified modules (instead of the possibly-partial dependency graph)");
  
negative.code:   match get_odir() with
    | None -> fname
    | Some x -> x ^ "/" ^ fname
  
  let parse_setting s =
      let parse_one_setting s =
          if s = "*" then ([], true)
          else if FStar.Util.starts_with s "-"
          then let path = FStar.Ident.path_of_text (FStar.Util.substring_from s 1) in
               (path, false)
          else let s = if FStar.Util.starts_with s "+"
                       then FStar.Util.substring_from s 1
                       else s in
               (FStar.Ident.path_of_text s, true)
      in
      FStar.Util.split s " " |> List.map parse_one_setting in
  
  
  let __temp_no_proj               s  = get___temp_no_proj() |> List.contains s
  