arrow-analysis-common
2.0.2-alpha.6
arrow-analysis-common
/
arrow.meta.plugins.analysis.phases.analysis.solver.check
/
ParamInfo
/
ParamInfo
Param
Info
fun
ParamInfo
(
name
:
String
,
smtName
:
String
,
type
:
Type
?
,
element
:
Element
?
,
thisFromConstructor
:
Boolean
=
false
)
Content copied to clipboard