KtFunctionSymbol:
  annotationsList: [
    kotlin/OptIn(markerClass = [kotlin.contracts.ExperimentalContracts::class])
      psi: KtAnnotationEntry
  ]
  callableIdIfNonLocal: /logicalNotContract
  contextReceivers: []
  contractEffects: [
    KtContractConditionalContractEffectDeclaration:
      effect:
        KtContractReturnsSuccessfullyEffectDeclaration:
      condition:
        KtContractLogicalNotExpression:
          argument:
            KtContractBooleanValueParameterExpression:
              parameterSymbol:
                KtValueParameterSymbol:
                  annotationsList: []
                  callableIdIfNonLocal: null
                  contextReceivers: []
                  generatedPrimaryConstructorProperty: null
                  hasDefaultValue: false
                  isCrossinline: false
                  isExtension: false
                  isImplicitLambdaParameter: false
                  isNoinline: false
                  isVararg: false
                  name: value
                  origin: SOURCE
                  receiverParameter: null
                  returnType: KtUsualClassType:
                    annotationsList: []
                    ownTypeArguments: []
                    type: kotlin/Boolean
                  symbolKind: LOCAL
                  typeParameters: []
                  getContainingFileSymbol: KtFileSymbol(logicalNotContract.kt)
                  getContainingJvmClassName: LogicalNotContractKt
                  getContainingModule: KtSourceModule "Sources of main"
                  deprecationStatus: null
  ]
  hasStableParameterNames: true
  isActual: false
  isBuiltinFunctionInvoke: false
  isExpect: false
  isExtension: false
  isExternal: false
  isInfix: false
  isInline: false
  isOperator: false
  isOverride: false
  isStatic: false
  isSuspend: false
  modality: FINAL
  name: logicalNotContract
  origin: SOURCE
  receiverParameter: null
  returnType: KtUsualClassType:
    annotationsList: []
    ownTypeArguments: []
    type: kotlin/Unit
  symbolKind: TOP_LEVEL
  typeParameters: []
  valueParameters: [
    KtValueParameterSymbol:
      annotationsList: []
      callableIdIfNonLocal: null
      contextReceivers: []
      generatedPrimaryConstructorProperty: null
      hasDefaultValue: false
      isCrossinline: false
      isExtension: false
      isImplicitLambdaParameter: false
      isNoinline: false
      isVararg: false
      name: value
      origin: SOURCE
      receiverParameter: null
      returnType: KtUsualClassType:
        annotationsList: []
        ownTypeArguments: []
        type: kotlin/Boolean
      symbolKind: LOCAL
      typeParameters: []
      getContainingFileSymbol: KtFileSymbol(logicalNotContract.kt)
      getContainingJvmClassName: LogicalNotContractKt
      getContainingModule: KtSourceModule "Sources of main"
      deprecationStatus: null
  ]
  visibility: Public
  getContainingFileSymbol: KtFileSymbol(logicalNotContract.kt)
  getContainingJvmClassName: LogicalNotContractKt
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null