garlopín m. Garlopa pequeña. Garlopín de cantero. Utensilio usado por los canteros para alisar las piedras.