expexp/test/mniUnits/FctBoundingPoints.json

The express model io and express model and data representation.

{
  "t": "func",
	"id": "FctBoundingPoints",
	"params":[
		{
			"t":"type_param",
			"ids":[{"t":"param","id":"path"}],
			"type":{
				"t":"list",
				"bounds":{
					"t":"bounds",
					"from":[[{ "t":"factor", "arg0":{"t":"integer", "value":0}, "quals0":[], "arg1":null, "quals1":null }]],
					"to":[]
				},
				"spec":{"id":"TpPoint2d","t":"type_ref"},
				"unique":false
			}
		}
	],
	"locals": [
		{
			"t":"local_var",
			"ids":[
				{"t":"decl_id", "id":"tmp"}
			],
			"type": {
				"t":"set",
				"bounds":{"t":"not_set"},
				"spec":{
					"t":"type_ref",
					"id":"TpPoint2d"
				}
			},
			"expr": {
				"t":"expr",
				"arg0":[[{"t":"factor", "arg0":{"t":"aggr","values":[]}, "quals0":[], "arg1":null, "quals1":null}]],
				"op":null,
				"arg1":null
			}
		}
	],
	"result":{
		"t":"set",
		"bounds":{
			"t":"bounds",
			"from":[[{ "t":"factor", "arg0":{"t":"integer", "value":1}, "quals0":[], "arg1":null, "quals1":null }]],
			"to":[[{ "t":"factor", "arg0":{"t":"integer", "value":2}, "quals0":[], "arg1":null, "quals1":null }]]
		},
		"spec":{
			"t":"type_ref",
			"id":"TpPoint2d"
		}
	}
}