[docs]defrest_url(url:Optional[str]=None):"""URL for the gypsum REST API. Get or set the URL for the gypsum REST API. Args: url: URL to the gypsum REST API. Defaults to None. Returns: String containing the URL to the gypsum REST API. """globalCURRENT_REST_URLifurlisnotNone:CURRENT_REST_URL=urlreturnCURRENT_REST_URL