pub fn check_max_depth(pred: &Predicate) -> Result<(), Error>Expand description
Reject predicate trees whose nesting depth exceeds
MAX_PREDICATE_DEPTH. Uses an explicit stack so the depth check
itself runs in O(n) time and O(depth) space without recursion.
ยงErrors
Returns an Error::compile whose
message names the limit.