The MEnsure contract if any

Property definitions

nitc :: model_contract $ MMethod :: mensure
	# The `MEnsure` contract if any
	var mensure: nullable MEnsure = null
src/model/model_contract.nit:70,2--71,37