# SQL Syntax Contract

```sql
DROP PROCEDURE [ IF EXISTS ] name
```

* `IF EXISTS`: Optional clause to prevent an error if the procedure does not exist.
* `name`: The name of the procedure to drop (optionally schema-qualified, e.g., `public.my_proc`).
