doc_property_exists_p name
Return 1 if a property exists, or 0 if not.
Source code:
global doc_properties return [info exists doc_properties($name)]