Module `Numerors.Value`

Numerors' abstract value, which computes a sound overapproximation of the floating-point expressions semantic. It is represented as a triplet containing a sound overapproximation of the real semantic along with sound overapproximations for the absolute and relative errors. Those overapproximations also performs a reduced product between the two errors. For more details, one can look at M. Jacquemin's thesis.

type ('context, 'value) builtin =
  'context ->
  'value list ->
  'value Eva.Eval.or_bottom

module Make (Model : sig ... end) : sig ... end