arrow-analysis-common/arrow.meta.plugins.analysis.smt.utils/ReferencedElement

ReferencedElement

data class ReferencedElement(element: Element, reference: Pair<ValueParameterDescriptor, ResolvedValueArgument>?, type: Type?)
Content copied to clipboard

Properties

element
Link copied to clipboard
val element: Element
Content copied to clipboard
reference
Link copied to clipboard
val reference: Pair<ValueParameterDescriptor, ResolvedValueArgument>?
Content copied to clipboard
type
Link copied to clipboard
val type: Type?
Content copied to clipboard