The expected contract method

Property definitions

nitc :: contracts $ MMethod :: mexpect=
	# The expected contract method
	var mexpect: nullable MExpect = null
src/contracts.nit:614,2--615,37