} ;
HELP: sum-lengths
-{ $values { "seq" "a sequence of sequences" } { "n" integer } }
+{ $values { "seq" { $sequence sequence } } { "n" integer } }
{ $description "Outputs the sum of the lengths of all sequences in " { $snippet "seq" } "." } ;
HELP: concat
{ $description "Outputs a head sequence and the last element of " { $snippet "seq" } "; the head sequence consists of all elements of " { $snippet "seq" } " but the last Unlike " { $link unclip-last } ", this word does not make a copy of the input sequence, and runs in constant time." } ;
HELP: sum
-{ $values { "seq" "a sequence of numbers" } { "n" number } }
+{ $values { "seq" { $sequence number } } { "n" number } }
{ $description "Outputs the sum of all elements of " { $snippet "seq" } ". Outputs zero given an empty sequence." } ;
HELP: product
-{ $values { "seq" "a sequence of numbers" } { "n" number } }
+{ $values { "seq" { $sequence number } } { "n" number } }
{ $description "Outputs the product of all elements of " { $snippet "seq" } ". Outputs one given an empty sequence." } ;
HELP: infimum
-{ $values { "seq" "a sequence of real numbers" } { "elt" object } }
+{ $values { "seq" sequence } { "elt" object } }
{ $description "Outputs the least element of " { $snippet "seq" } "." }
{ $errors "Throws an error if the sequence is empty." } ;
HELP: supremum
-{ $values { "seq" "a sequence of real numbers" } { "elt" object } }
+{ $values { "seq" sequence } { "elt" object } }
{ $description "Outputs the greatest element of " { $snippet "seq" } "." }
{ $errors "Throws an error if the sequence is empty." } ;
{ $notes "If adding the vocabulary introduces ambiguity, the vocabulary will take precedence when resolving any ambiguous names. See the example in " { $link POSTPONE: QUALIFIED: } " for further explanation." } ;
HELP: add-words-from
-{ $values { "vocab" "a vocabulary specifier" } { "words" "a sequence of word names" } }
+{ $values { "vocab" "a vocabulary specifier" } { "words" { $sequence "word names" } } }
{ $description "Adds " { $snippet "words" } " from " { $snippet "vocab" } " to the current manifest." }
{ $notes "This word is used to implement " { $link POSTPONE: FROM: } "." } ;
HELP: add-words-excluding
-{ $values { "vocab" "a vocabulary specifier" } { "words" "a sequence of word names" } }
+{ $values { "vocab" "a vocabulary specifier" } { "words" { $sequence "word names" } } }
{ $description "Adds all words except for " { $snippet "words" } " from " { $snippet "vocab" } " to the manifest." }
{ $notes "This word is used to implement " { $link POSTPONE: EXCLUDE: } "." } ;
{ $var-description "Holds a hashtable mapping vocabulary names to vocabularies." } ;
HELP: loaded-vocab-names
-{ $values { "seq" "a sequence of strings" } }
+{ $values { "seq" { $sequence string } } }
{ $description "Outputs a sequence of all defined vocabulary names." } ;
HELP: lookup-vocab
{ $description "Outputs the words defined in a vocabulary." } ;
HELP: vocab-words
-{ $values { "vocab-spec" vocab-spec } { "seq" "a sequence of words" } }
+{ $values { "vocab" string } { "seq" { $sequence word } } }
{ $description "Outputs a sequence of words defined in the vocabulary, or " { $link f } " if no vocabulary with this name exists." } ;
HELP: all-words
-{ $values { "seq" "a sequence of words" } }
+{ $values { "seq" { $sequence word } } }
{ $description "Outputs a sequence of all words in the dictionary." } ;
HELP: forget-vocab
{ $notes "To unconditionally reload a vocabulary, use " { $link reload } ". To reload changed source files only, use the words in " { $link "vocabs.refresh" } "." } ;
HELP: words-named
-{ $values { "str" string } { "seq" "a sequence of words" } }
+{ $values { "str" string } { "seq" { $sequence word } } }
{ $description "Outputs a sequence of all words named " { $snippet "str" } " from the set of currently-loaded vocabularies." } ;
HELP: create-vocab
{ $description "Creates a new vocabulary if one does not exist with the given name, otherwise outputs an existing vocabulary." } ;
HELP: loaded-child-vocab-names
-{ $values { "vocab-spec" "a vocabulary specifier" } { "seq" "a sequence of strings" } }
+{ $values { "vocab-spec" "a vocabulary specifier" } { "seq" { $sequence string } } }
{ $description "Outputs all vocabularies which are conceptually under " { $snippet "vocab" } " in the hierarchy." }
{ $examples
{ $unchecked-example