simp-int

Synopsis: simp-int;

Description:

This macro performs simplification of integers and terms with integers. It applies only non-splitting simplification rules.

Arguments:

No arguments required