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