replySuccess
fun replySuccess(substitution: Substitution.Unifier = Substitution.empty(), sideEffectManager: SideEffectManager? = null, vararg sideEffects: SideEffect): Solve.Response
fun replySuccess(substitution: Substitution.Unifier = Substitution.empty(), sideEffectManager: SideEffectManager? = null, buildSideEffects: SideEffectsBuilder.() -> Unit): Solve.Response
Creates a new successful Response to this Request, with substitution