anchor.diff:    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
  
positive.code:       ("dump_module"                  , List []);
        ("eager_inference"              , Bool false);
        ("expose_interfaces"            , Bool false);
        ("extract_all"                  , Bool false);
        ("extract_module"               , List []);
        ("extract_namespace"            , List []);
  
negative.code:         "Solve all type-inference constraints eagerly; more efficient but at the cost of generality");
  
         ( noshort,
           "extract",
           Accumulated (SimpleStr "One or more space-separated occurrences of '[+|-]( * | namespace | module)'"),
          "\n\t\tExtract only those modules whose names or namespaces match the provided options.\n\t\t\t\
           Modules can be extracted or not using the [+|-] qualifier. \n\t\t\t\
           For example --extract '* -FStar.Reflection +FStar.List -FStar.List.Tot' will \n\t\t\t\t\
           not extract FStar.List.Tot.*, \n\t\t\t\t\
           extract remaining modules from FStar.List.*, \n\t\t\t\t\
           not extract FStar.Reflection.*, \n\t\t\t\t\
           and extract all the rest.\n\t\t\
           Multiple uses of this option accumulate, e.g., --extract A --extract B is interpreted as --extract 'A B'.");
  
         ( noshort,
          "extract_module",
          Accumulated (PostProcessed (pp_lowercase, (SimpleStr "module_name"))),
          "Only extract the specified modules (instead of the possibly-partial dependency graph)");
  