copy

abstract fun copy(query: Struct = this.query, substitution: Substitution.Unifier = this.substitution): Solution.Yes

Returns a Yes solution identical to this one, except for the explicitly-provided arguments.