module Numerors_domain: sig
.. end
Numerors domain: computes over-approximations of the rounding errors bounds
of floating-point computations.
Nothing is exported: the domain is registered as an analysis abstraction
in the Eva engine, enabled by the -eva-numerors-domain option.