noun
Etymology: from gerund of grave (IV)
: a dry dock consisting of an enclosure openly adjoining a waterway from which it may be separated by a watertight barrier which is capable of being pumped dry when so separated and which is used especially for cleaning the underwater parts of a ship ; broadly : dry dock