Global OptionContext

Property definitions

nitc $ ToolContext :: option_context
	# Global OptionContext
	var option_context = new OptionContext
src/toolcontext.nit:357,2--358,39