mirror of
https://github.com/leanprover/lean4.git
synced 2026-03-17 18:34:06 +00:00
chore: improve comments
This commit is contained in:
@@ -77,7 +77,7 @@ Builds an HTTP Request.
|
||||
-/
|
||||
structure Request.Builder where
|
||||
/--
|
||||
The head of the request.
|
||||
The request-line of an HTTP request.
|
||||
-/
|
||||
line : Head := { method := .get, version := .v11, uri := "*" }
|
||||
|
||||
|
||||
@@ -63,7 +63,7 @@ Builds an HTTP Response.
|
||||
-/
|
||||
structure Response.Builder where
|
||||
/--
|
||||
The response status-line information.
|
||||
The start-line of an HTTP request (method, request-target, and version).
|
||||
-/
|
||||
line : Head := {}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user