HttpRequestOptions

    
      interface HttpRequestOptions {  headers?: HttpHeaders | undefined;  context?: HttpContext | undefined;  reportProgress?: boolean | undefined;  params?: HttpParams | undefined;  responseType?: HttpResponseType | undefined;  withCredentials?: boolean | undefined;  credentials?: RequestCredentials | undefined;  keepalive?: boolean | undefined;  priority?: RequestPriority | undefined;  cache?: RequestCache | undefined;  mode?: RequestMode | undefined;  redirect?: RequestRedirect | undefined;  referrer?: string | undefined;  integrity?: string | undefined;  referrerPolicy?: ReferrerPolicy | undefined;  transferCache?: HttpTransferCacheRequestOptions | undefined;  timeout?: number | undefined;}