def request.complete
import gralha-http-core@0.1.0.0/http.bend as Httpimport Base
265# Whether text holds a whole request: its head ended, and as many body bytes
266# as its Content-Length (none without one).
267def request.complete(text: String) -> Bool:
268 request.complete.cut(cut(text, "\r\n\r\n"))