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

ReferencedElement

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

Constructors

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

Properties

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