Index of exceptions


N
No_fixed_point [Fun]
Raised by bounded_fix if no fixed point is reached within the iterations bound.