package dolmen_model

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

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

val ops : Farith.F.t Value.ops

ops for bitvector values.

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

mk f floating point value creation.

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

exception Unhandled_exponand_and_mantissa of {

}

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

val builtins : Env.builtins

builtins for floating-points