-
David Bühler authored
Adds functions [is_infinite] and [backward_is_infinite] in float_interval.
David Bühler authoredAdds functions [is_infinite] and [backward_is_infinite] in float_interval.
float_interval.ml 46.58 KiB
Adds functions [is_infinite] and [backward_is_infinite] in float_interval.
Adds functions [is_infinite] and [backward_is_infinite] in float_interval.