Nitlanguage.org

Nitdoc
nitc
contracts
CallSiteVisitor
visited_propdef

private fun visited_propdef: APropdef

nitc :: CallSiteVisitor :: visited_propdef

Doc
Linearization

Summary

Actual visited method

Actual visited method

Summary

Property definitions
nitc::contracts$CallSiteVisitor$visited_propdef

Property definitions

nitc $ CallSiteVisitor :: visited_propdef

	# Actual visited method
	var visited_propdef: APropdef is noinit

src/contracts.nit:227,2--228,40

Nit tools. Version .