} // namespace typed
} // namespace isl

#endif /* ISL_TYPED_CPP */