Definition at line 274 of file overflow.hpp.
References expect_false, ov(), and x.
Referenced by div_by(), and monomialOrderMake().