Module type Sig.Bitvector_Standard_Conversions
val to_unsigned_interval : size:int -> t -> Z.t * Z.t
val to_signed_interval : size:int -> t -> Z.t * Z.t
val to_congruence : size:int -> t -> Z.t * Z.t
val to_known_bits : size:int -> t -> Z.t * Z.t
val to_bvset : size:int -> t -> Stdlib__Set.Make(Z).t
val inter_unsigned_interval : size:int -> t -> (Z.t * Z.t) -> t
val inter_signed_interval : size:int -> t -> (Z.t * Z.t) -> t
val inter_congruence : size:int -> t -> (Z.t * Z.t) -> t
val inter_known_bits : size:int -> t -> (Z.t * Z.t) -> t
val inter_bvset : size:int -> t -> Stdlib__Set.Make(Z).t -> t