return this === other ||
                other is KaContractConditionalContractEffectDeclaration &&
                other.backingEffect == backingEffect &&
                other.backingCondition == backingCondition
    }
}

public typealias KtContractConditionalContractEffectDeclaration = KaContractConditionalContractEffectDeclaration

/**

 *
 * `booleanExpression` forms a boolean condition for
 * [org.jetbrains.kotlin.analysis.api.contracts.description.KaContractConditionalContractEffectDeclaration]. See
 * [org.jetbrains.kotlin.analysis.api.contracts.description.KaContractConditionalContractEffectDeclaration.condition]
 */
public sealed interface KaContractBooleanExpression : KaLifetimeOwner

    override fun visitConditionalEffectDeclaration(
        conditionalEffect: ConeConditionalEffectDeclaration,
        data: Unit
    ): KaContractConditionalContractEffectDeclaration = KaContractConditionalContractEffectDeclaration(
        conditionalEffect.effect.accept(),
        conditionalEffect.condition.accept()
    )

    override fun visitReturnsEffectDeclaration(

                appendProperty(value::valueParameterReference, ::renderKaContractParameterValue)
                appendSimpleProperty(value::occurrencesRange, endWithNewLine)
            }
            is KaContractConditionalContractEffectDeclaration -> {
                appendProperty(value::effect, ::renderKaContractEffectDeclaration)
                appendProperty(value::condition, ::renderKaContractBooleanExpression, endWithNewLine)
            }

    ContractDescriptionVisitor<Any, Unit> {

    override fun visitConditionalEffectDeclaration(
        conditionalEffect: ConditionalEffectDeclaration,
        data: Unit
    ): Any = KaContractConditionalContractEffectDeclaration(
        conditionalEffect.effect.accept(),
        conditionalEffect.condition.accept(),
    )

    override fun visitReturnsEffectDeclaration(
        returnsEffect: ReturnsEffectDeclaration,