simplify constraints by checking for residues

[isl.git] / cpp / typed_cpp.h.bot

} // namespace typed
} // namespace isl

#endif /* ISL_TYPED_CPP */