#include <isl/ctx.h>
#include <isl/list.h>
+#include <isl/multi.h>
#include <isl/printer.h>
#if defined(__cplusplus)
ISL_DECLARE_LIST(val)
+struct isl_multi_val;
+typedef struct isl_multi_val isl_multi_val;
+
+ISL_DECLARE_MULTI(val)
+
__isl_give isl_val *isl_val_zero(isl_ctx *ctx);
__isl_give isl_val *isl_val_one(isl_ctx *ctx);
__isl_give isl_val *isl_val_nan(isl_ctx *ctx);