An instance of Modular_traits<T> is a model of ModularTraits, where T is the associated type.
#include <CGAL/Modular_traits.h>