chickadee » link-grammar » delete-parse-options!

delete-parse-options! parse-optionsprocedure

Delete a parse-option object

parse-options