chickadee » link-grammar » set-max-parse-time!

set-max-parse-time! parse-options valueprocedure

Set maximum parse time

parse-options
value
(number)