On This Page
package dolmen_model
On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Value definition
************************************************************************
val ops : Farith.F.t Value.opsops for bitvector values.
val mk : Farith.F.t -> Value.tmk f floating point value creation.
Corner cases & builtins
************************************************************************
val builtins : Env.t -> Dolmen.Std.Expr.Term.Const.t -> Value.t optionbuiltins for floating-points
On This Page