bounded
Ask simplifier to rewrite an expression with bound check. Typically used for expressions which produce expressions of the same type during simplification process.
allowedDepth --- maximal allowed nested rewrites.
Ask simplifier to rewrite an expression with bound check. Typically used for expressions which produce expressions of the same type during simplification process.
allowedDepth --- maximal allowed nested rewrites.