Wharf or pier (4)
I believe the answer is:
dock
<span class="explanation-format__ClueExplanation">I believe this is a double definition.<br/ ><br/ >'<span class="explanation-format__original">wharf</span>' is the first definition.<br/ ><span class="explanation-format__explanation">(synonyms)</span><br/ ><br/ >'<span class="explanation-format__original">pier</span>' is the second definition.<br/ ><span class="explanation-format__explanation">(I know that pier can be written as dock)</span><br/ ><br/ ></span>
(Other definitions for dock that I've seen before include "area of court" , "Where ships tie up" , "Boat mooringd" , "Type of broad-leaved weed" , "Where one might repair cutter" .)