1. (

• dry_dock ,
• drydock ,
• graving_dock

) a large dock from which water can be pumped out; used for building ships or for repairing a ship below its waterline ;

1. (

• dry-dock ,
• drydock

) maneuver (a ship) into a drydock ;