arrow-analysis-common/arrow.meta.plugins.analysis.phases.analysis.solver.check/ParamInfo/Companion

Companion

object Companion
Content copied to clipboard

Functions

Link copied to clipboard
operator fun invoke(    solver: Solver,     name: String,     smtName: String,     type: Type?,     element: Element?,     thisFromConstructor: Boolean = false): ParamInfo
Content copied to clipboard