Bakvormige toestellen die men in het water kan laten dalen en neerlaten en rijzen, en waarin schepen binnen kunnen varen en dan boven water gebracht worden en aldus droog komt te liggen, zoals in een droogdok.