package dolmen_model

  1. Overview
  2. Docs

Value definition

************************************************************************

ops for bitvector values.

val mk : Farith.F.t -> Value.t

mk f floating point value creation.

Corner cases & builtins

************************************************************************

exception Unhandled_exponand_and_mantissa of {
  1. ew : int;
  2. mw : int;
}

Raised when the exponand and mantissa siez do not respect the constraints imposed by `Farith`.

val builtins : Env.builtins

builtins for floating-points

OCaml

Innovation. Community. Security.