Something went wrong. Try again.
forked from gbury/dolmen
Something went wrong. Try again.
1234567891011121314151617181920212223(* This file is free software, part of dolmen. See file "LICENSE" for more information *)
(** {2 Value definition} *)(** ************************************************************************ *)
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.builtins(** 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 *)