merge
abstract fun merge( substitution1: <ERROR CLASS>, substitution2: <ERROR CLASS>, occurCheckEnabled: Boolean): <ERROR CLASS>
Content copied to clipboard
Merges two Substitutions
open fun merge(substitution1: <ERROR CLASS>, substitution2: <ERROR CLASS>): <ERROR CLASS>
Content copied to clipboard
Merges two Substitutions, with occurs check