chickadee
»
link-grammar
»
timer-expired?
Identifier search
timer-expired?
parse-options
procedure
Checks whether the timer was exceeded during parsing.
parse-options