Dry dock
A dry dock (sometimes drydock or dry-dock) is used for the construction, maintenance, and repair of ships, boats, and other watercraft. There are several basic types of dry docks:
- Graving or basin docks
- Floating dry docks
- Marine railways
- Vertical lifts
- Marine travel lifts