expexp/test/units/TpIntegerGreaterThanZero.json

The express model io and express model and data representation.

{
	"t": "typ",
	"id": "TpIntegerGreaterThanZero",
	"spc": {
		"t": "t_int"
	},
	"whrs":{"t": "a_typ_whrs","s":[
		{
			"t":"whr",
			"id":"greaterThanZero",
			"xpr":{
				"t":"xpr",
				"arg0":{"t":"a_sxp_trms", "s":[{"t":"a_trm_ftrs", "s":[{
					"t":"ftr",
					"arg0":{"t":"bic", "id":"slf"},
					"qals0":null,
					"arg1":null,
					"qals1":null
				}]}]},
				"op":{"t":"o_sxp", "id":"gt"},
				"arg1":{"t":"a_sxp_trms", "s":[{"t":"a_trm_ftrs", "s":[{
					"t":"ftr",
					"arg0":{"t":"int","val":0},
					"qals0":null,
					"arg1":null,
					"qals1":null
				}]}]}
			}
		}
	]}
}