Encravadoiro

Encravadoiro

,
m.
Lugar, em que se encrava uma coisa: «o mastro da ré parecia saltar
fóra do encravadoiro
». Camillo, Myst. de Lisb., II, 231.