anchor.diff:          static member createTerminal(?name : string, ?shellPath : string, ?shellArgs : string[]) : Terminal = failwith "JS only"
           static member onDidCloseTerminal with get(): Event<Terminal> = failwith "JS only"
           static member registerTreeDataProvider<'T>(viewId: string, provider: TreeDataProvider<'T>): Disposable = failwith "JS only"
  +        static member createTreeView<'T>(viewId: string, options: CreateTreeViewOptions<'T>): TreeView<'T> = failwith "JS only"
           static member withProgress(options : ProgressOptions, func: Progress<ProgressMessage> -> Promise<'T> ) : Promise<'T> = failwith "JS only"
           static member showOpenDialog(options: OpenDialogOptions) : Promise<Uri[]> = failwith "JS only"
           static member showSaveDialog(options : SaveDialogOptions) : Promise<Uri> = failwith "JS only"
  
positive.code:         abstract filters: obj option with get,set
          abstract openLabel: string option with get,set
  
      let [<Import("version","vscode")>] version: string = failwith "JS only"
  
      type [<Import("commands","vscode")>] commands =
  
negative.code:         static member onDidTerminateDebugSession with get() : Event<DebugSession> = failwith "JS only"
          static member onDidStartDebugSession with get() : Event<DebugSession> = failwith "JS only"
          static member startDebugging(folder: WorkspaceFolder,  nameOrConfiguration: U2<string, obj>) : Promise<bool>= failwith "JS only"
  
      type [<Import("window","vscode")>] window =
          static member activeTextEditor with get(): TextEditor = failwith "JS only" and set(v: TextEditor): unit = failwith "JS only"
  