adjust struct-out docs to avoid 'name' and to have a better width
This commit is contained in:
parent
53c6658e43
commit
828da18122
|
@ -1174,8 +1174,8 @@ earlier fields.}}
|
||||||
#:literals (struct rename)
|
#:literals (struct rename)
|
||||||
(contract-out p/c-item ...)
|
(contract-out p/c-item ...)
|
||||||
([p/c-item
|
([p/c-item
|
||||||
(struct id ((id contract-expr) ...) struct-option)
|
(struct id/super ((id contract-expr) ...)
|
||||||
(struct (id identifier) ((id contract-expr) ...) struct-option)
|
struct-option)
|
||||||
(rename orig-id id contract-expr)
|
(rename orig-id id contract-expr)
|
||||||
(id contract-expr)
|
(id contract-expr)
|
||||||
(code:line #:∃ poly-variables)
|
(code:line #:∃ poly-variables)
|
||||||
|
@ -1184,6 +1184,8 @@ earlier fields.}}
|
||||||
(code:line #:forall poly-variables)]
|
(code:line #:forall poly-variables)]
|
||||||
[poly-variables identifier
|
[poly-variables identifier
|
||||||
(identifier ...)]
|
(identifier ...)]
|
||||||
|
[id/super id
|
||||||
|
(id super-id)]
|
||||||
[struct-option (code:line)
|
[struct-option (code:line)
|
||||||
#:omit-constructor])]{
|
#:omit-constructor])]{
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user