a dock from which the water can be emptied, used for building and repairing ships; a dry-dock.