パッケージマージにおいて、マージ先の「操作(Operation)」がマージされる側で再定義された際、引数はどう扱われるか。

パッケージマージでは、マージされる側の要素定義がマージ先の内容を上書き・詳細化する。