merge

abstract fun merge(substitution1: Substitution, substitution2: Substitution, occurCheckEnabled: Boolean): Substitution
Content copied to clipboard

Merges two Substitutions

open fun merge(substitution1: Substitution, substitution2: Substitution): Substitution
Content copied to clipboard

Merges two Substitutions, with occurs check