KaNamedFunctionSymbol:
  anchorPsi: KtNamedFunction
  annotations: []
  callableId: /conditionInContext
  contextParameters: [
    KaContextParameterSymbol:
      anchorPsi: KtParameter
      annotations: []
      callableId: null
      contextParameters: []
      contextReceivers: []
      isActual: false
      isCompanion: false
      isDelegated: false
      isExpect: false
      isExtension: false
      isExternal: false
      isVal: true
      location: LOCAL
      modality: FINAL
      name: a
      origin: SOURCE
      psi: KtParameter
      realPsi: KtParameter
      receiverParameter: null
      returnType: KaUsualClassType:
        annotations: []
        typeArguments: []
        type: kotlin/Boolean
      typeParameters: []
      visibility: PUBLIC
      getContainingFileSymbol: KaFileSymbol(holdsInWithContextParameters.kt)
      getContainingJvmClassName: HoldsInWithContextParametersKt
      getContainingModule: KaSourceModule "Sources of main"
      deprecation: null
      importableFqName: null
  ]
  contextReceivers: [
    KaContextReceiver:
      label: a
      type: KaUsualClassType:
        annotations: []
        typeArguments: []
        type: kotlin/Boolean
  ]
  contractEffects: [
    KaContractHoldsInEffectDeclaration:
      condition:
        KaContractBooleanValueParameterExpression:
          parameterSymbol:
            KaContractExplicitParameterValue:
              symbol:
                KaContextParameterSymbol:
                  anchorPsi: KtParameter
                  annotations: []
                  callableId: null
                  contextParameters: []
                  contextReceivers: []
                  isActual: false
                  isCompanion: false
                  isDelegated: false
                  isExpect: false
                  isExtension: false
                  isExternal: false
                  isVal: true
                  location: LOCAL
                  modality: FINAL
                  name: a
                  origin: SOURCE
                  psi: KtParameter
                  realPsi: KtParameter
                  receiverParameter: null
                  returnType: KaUsualClassType:
                    annotations: []
                    typeArguments: []
                    type: kotlin/Boolean
                  typeParameters: []
                  visibility: PUBLIC
                  getContainingFileSymbol: KaFileSymbol(holdsInWithContextParameters.kt)
                  getContainingJvmClassName: HoldsInWithContextParametersKt
                  getContainingModule: KaSourceModule "Sources of main"
                  deprecation: null
                  importableFqName: null
      valueParameterReference:
        KaContractExplicitParameterValue:
          symbol:
            KaValueParameterSymbol:
              anchorPsi: KtParameter
              annotations: []
              callableId: null
              contextParameters: []
              contextReceivers: []
              hasDeclaredDefaultValue: false
              hasDefaultValue: false
              isActual: false
              isCompanion: false
              isCrossinline: false
              isDelegated: false
              isExpect: false
              isExtension: false
              isExternal: false
              isImplicitLambdaParameter: false
              isNoinline: false
              isVal: true
              isVararg: false
              location: LOCAL
              modality: FINAL
              name: block
              origin: SOURCE
              primaryConstructorProperty: null
              psi: KtParameter
              realPsi: KtParameter
              receiverParameter: null
              returnType: KaFunctionType:
                annotations: []
                typeArguments: [
                  KaUsualClassType:
                    annotations: []
                    typeArguments: []
                    type: kotlin/Int
                ]
                type: () -> kotlin/Int
              typeParameters: []
              visibility: PUBLIC
              getContainingFileSymbol: KaFileSymbol(holdsInWithContextParameters.kt)
              getContainingJvmClassName: HoldsInWithContextParametersKt
              getContainingModule: KaSourceModule "Sources of main"
              deprecation: null
              importableFqName: null
  ]
  hasStableParameterNames: true
  isActual: false
  isBuiltinFunctionInvoke: false
  isCompanion: false
  isExpect: false
  isExtension: false
  isExternal: false
  isInfix: false
  isInline: true
  isOperator: false
  isOverride: false
  isStatic: false
  isSuspend: false
  isTailRec: false
  location: TOP_LEVEL
  modality: FINAL
  name: conditionInContext
  origin: SOURCE
  psi: KtNamedFunction
  realPsi: KtNamedFunction
  receiverParameter: null
  returnType: KaUsualClassType:
    annotations: []
    typeArguments: []
    type: kotlin/Unit
  typeParameters: []
  valueParameters: [
    KaValueParameterSymbol:
      anchorPsi: KtParameter
      annotations: []
      callableId: null
      contextParameters: []
      contextReceivers: []
      hasDeclaredDefaultValue: false
      hasDefaultValue: false
      isActual: false
      isCompanion: false
      isCrossinline: false
      isDelegated: false
      isExpect: false
      isExtension: false
      isExternal: false
      isImplicitLambdaParameter: false
      isNoinline: false
      isVal: true
      isVararg: false
      location: LOCAL
      modality: FINAL
      name: block
      origin: SOURCE
      primaryConstructorProperty: null
      psi: KtParameter
      realPsi: KtParameter
      receiverParameter: null
      returnType: KaFunctionType:
        annotations: []
        typeArguments: [
          KaUsualClassType:
            annotations: []
            typeArguments: []
            type: kotlin/Int
        ]
        type: () -> kotlin/Int
      typeParameters: []
      visibility: PUBLIC
      getContainingFileSymbol: KaFileSymbol(holdsInWithContextParameters.kt)
      getContainingJvmClassName: HoldsInWithContextParametersKt
      getContainingModule: KaSourceModule "Sources of main"
      deprecation: null
      importableFqName: null
  ]
  visibility: PUBLIC
  getContainingFileSymbol: KaFileSymbol(holdsInWithContextParameters.kt)
  getContainingJvmClassName: HoldsInWithContextParametersKt
  canBeOperator: false
  getContainingModule: KaSourceModule "Sources of main"
  deprecation: null
  returnValueStatus: Unspecified
  javaMethodName: conditionInContext
  importableFqName: conditionInContext
