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

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

type t = Z.t

Bitvectors, represented as unsigned, unbounded integers.

val ops : t Value.ops

ops for bitvector values.

val mk : int -> Z.t -> Value.t

mk n z Bitvector of size n, and bits z creation.

val builtins : Env.t -> Dolmen.Std.Expr.Term.Const.t -> Value.t option

builtins for bitvectors

val ubitv : int -> Value.t -> Z.t

Extract the value as an unsigned integer

val sbitv : int -> Value.t -> Z.t

Extract the value as a signed integer