Module Bitvector

module Bitvector: sig .. end
Bitvector representation

module type Common = sig .. end
type t 
include Bitvector.Common
val pp : Format.formatter -> t -> unit
pp ppf bv prints the decimal value of bv into ppf
val pp_hex : Format.formatter -> t -> unit
pp_hex ppf bv prints the hexadecimal value of bv into ppf
val print : t -> string
val of_bool : bool -> t
val to_bool : t -> bool
val of_int32 : int32 -> t
of_int32 n creates a bitvector of size 32 and value n
val to_int32 : t -> int32
val of_int64 : int64 -> t
of_int64 n creates a bitvector of size 64 and value n
val to_int64 : t -> int64
val of_hexstring : string -> t
val to_hexstring : t -> string