|1.||a basin-like structure that is large enough to admit a ship and that can be pumped dry for work on the ship's bottom|
|2.||to put (a ship) into a dry dock, or (of a ship) to go into a dry dock|
type of dock (q.v.) consisting of a rectangular basin dug into the shore of a body of water and provided with a removable enclosure wall or gate on the side toward the water, used for major repairs and overhaul of vessels.
Learn more about dry dock with a free trial on Britannica.com.