arrow-analysis-common/arrow.meta.plugins.analysis.phases.analysis.solver.check.model/CheckData/CheckData

CheckData

fun CheckData(context: ResolutionContext, returnPoints: ReturnPoints, varInfo: CurrentVarInfo, branch: CurrentBranch)