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