{
	"t": "type",
	"id": "TpIntegerGreaterThanZero",
	"spec": {
		"t": "integer"
	},
	"wheres":[
		{
			"t":"where",
			"id":"greaterThanZero",
			"expr":{
				"t":"expr",
				"arg0":[[{
					"t":"factor",
					"arg0":{"t":"biconst", "id":"self"},
					"quals0":[],
					"arg1":null,
					"quals1":null
				}]],
				"op":{"t":"relopext", "id":"gt"},
				"arg1":[[{
					"t":"factor",
					"arg0":{"t":"integer","value":0},
					"quals0":[],
					"arg1":null,
					"quals1":null
				}]]
			}
		}
	]
}