Toggle menu
Nitlanguage.org
Nitdoc
nitc
contracts
ContractsVisitor
visited_module
private
fun
visited_module
:
AModule
nitc
::
ContractsVisitor
::
visited_module
Doc
Linearization
Summary
Actual visited module
Actual visited module
Summary
Property definitions
nitc::contracts$ContractsVisitor$visited_module
Property definitions
nitc
$
ContractsVisitor
::
visited_module
# Actual visited module
var
visited_module
:
AModule
src/contracts.nit:83,2--84,28