private fun cpt_cast_kind: Counter[String]

nitc :: DetectCovariancePhase :: cpt_cast_kind

Property definitions

nitc $ DetectCovariancePhase :: cpt_cast_kind 
	fun cpt_cast_kind: Counter[String] do return once new Counter[String]
src/metrics/detect_covariance.nit:59,2--70
Nit tools. Version .