Update the documented contract for xref-binding->definition-tag to reflect its description in text

This commit is contained in:
Daniel Feltey 2017-02-07 16:19:49 -06:00 committed by Robby Findler
parent 574219e1ee
commit e3db079c22

View File

@ -80,12 +80,18 @@ get all cross-reference information for installed documentation.
(list/c (or/c module-path?
module-path-index?)
symbol?)
(listof module-path-index?
(list/c module-path-index?
symbol?
module-path-index?
symbol?
(one-of/c 0 1)
(or/c exact-integer? false/c)
(or/c exact-integer? false/c))
(list/c (or/c module-path?
module-path-index?)
symbol?
(one-of/c 0 1)
(or/c exact-integer? false/c)
(or/c exact-integer? false/c)))]
[mode (or/c exact-integer? false/c)])
(or/c tag? false/c)]{