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

ExplicitBlockReturn

data class ExplicitBlockReturn(returnPoint: String?) : ExplicitReturn
Content copied to clipboard

Explicit 'return', maybe with a name

Constructors

ExplicitBlockReturn
Link copied to clipboard
fun ExplicitBlockReturn(returnPoint: String?)
Content copied to clipboard

Properties

returnPoint
Link copied to clipboard
val returnPoint: String?
Content copied to clipboard