anchor.diff:         ( noshort,
           "odir", 
           OneArg (String,
  -                "dir"), 
  -        "Place output in directory dir");
  +                "[dir]"), 
  +        "Place output in directory [dir]");
         
          ( noshort,
           "prims", 
  
positive.code:        ( noshort,
          "explicit_deps", 
          ZeroArgs (fun () -> Bool true), 
          "tell FStar to not find dependencies automatically because the user provides them on the command-line");
        
         ( noshort,
          "fs_typ_app", 
  
negative.code:        ( noshort,
          "prn", 
          ZeroArgs (fun () -> Bool true), 
          "Print real names (you may want to use this in conjunction with log_queries)");
        
         ( noshort,
          "show_signatures", 
          OneArg((fun x -> List (x::get_show_signatures() |> List.map String)), 
                  "[module name]"), 
          "Show the checked signatures for all top-level symbols in the module");
        
         ( noshort,
  