PushPromise Type

A push intent recorded by a WebPart, consumed by the HTTP/2 writer (when wired) to emit a PUSH_PROMISE + the synthesised request exchange. `path` is the request-target (e.g. "/style.css"); `headers` is the additional request header block (`:method`, `:scheme`, `:authority` are filled in by the writer from the parent request).

Record fields

Record Field Description

headers

Full Usage: headers

Field type: (string * string) list
Field type: (string * string) list

path

Full Usage: path

Field type: string
Field type: string