def headers

bend-kit-websocket@0.4.0.0 · websocket.bend:122

import bend-kit-websocket@0.4.0.0/websocket.bend as Websocket
import Base

122# The header lines of an HTTP head: every line after the start line.
123def headers(head: String) -> List<&2, String>:
124  after.first(String.split(head, '\n'))

Uses (5)

Used by (2)