fun mensure: nullable MEnsure

nitc :: MMethod :: mensure

The ensure contract method

Property definitions

nitc :: contracts $ MMethod :: mensure 
	# The ensure contract method
	var mensure: nullable MEnsure = null
src/contracts.nit:617,2--618,37
Nit tools. Version v0.8-3595-g3f58b4f.