Doc
Linearization

The main module

It's strore to define if the contract need to be build depending on the selected policy --no-contract --full-contract or default

Property definitions

nitc $ ContractsVisitor :: _mainmodule

	# The main module
	# It's strore to define if the contract need to be build depending on the selected policy `--no-contract` `--full-contract` or default
	var mainmodule: MModule

src/contracts.nit:79,2--81,24