     scan-number
     scan-object
 }
-"Lower-level words:"
+"Parsing words that return " { $link f } " on end of file:"
 { $subsections
     (scan-token)
     (scan-datum)

{ scan-word parse-word } related-words

HELP: scan-word-name
{ $values
        { "string" string }
}
{ $description "Reads the next token from parser input and makes sure it does not parse as a number." }
{ $errors "Throws an error if the scanned token is a number." }
$parsing-note ;

HELP: (scan-datum)
{ $values
        { "word/number/f" "a word, a number, or " { $link f } }
}
{ $description "Reads the next token from parser input. If the token is found in the vocabulary search path, returns the word named by the token. If the token is a number instead, it is converted to a number. Otherwise returns " { $link f } "." } ;

HELP: scan-datum
{ $values
        { "word/number" "a word or a number" }
}
{ $description "Reads the next token from parser input. If the token is found in the vocabulary search path, returns the word named be the token. If the token is not found in the vocabulary search path, it is converted to a number. If this conversion fails, an error is thrown." }
{ $errors "Throws an error if the token is not a number or end of file is reached." }
$parsing-note ;

HELP: scan-number
{ $values { "number" "a number" } }
{ $description "Reads the next token from parser input. If the token is a number literal, it is converted to a number." }
{ $errors "Throws an error if the token is not a number or end of file is reached." }
$parsing-note ;


{ $values { "string" string } { "word/number" "a word or number" } }
{ $description "If " { $snippet "string" } " is a valid number literal, it is converted to a number, otherwise the current vocabulary search path is searched for a word named by the string." }
{ $errors "Throws an error if the token does not name a word, and does not parse as a number." }
{ $notes "This word is used to implement " { $link (scan-datum) } " and " { $link scan-datum } "." } ;

HELP: scan-word
{ $values { "word" "a word" } }
