Module type Sig.BITVECTOR_STANDARD_CONVERSIONS

This helps communicating information between lattices by converting to a common representation.

type t

val to_unsigned_interval : size:Units.In_bits.t -> t -> Z.t * Z.t

val to_signed_interval : size:Units.In_bits.t -> t -> Z.t * Z.t

val to_congruence : size:Units.In_bits.t -> t -> Z.t * Z.t

val to_known_bits : size:Units.In_bits.t -> t -> Z.t * Z.t

val to_bvset : size:Units.In_bits.t -> t -> Stdlib__Set.Make(Z).t

val inter_unsigned_interval : size:Units.In_bits.t -> t -> (Z.t * Z.t) -> t

val inter_signed_interval : size:Units.In_bits.t -> t -> (Z.t * Z.t) -> t

val inter_congruence : size:Units.In_bits.t -> t -> (Z.t * Z.t) -> t

val inter_known_bits : size:Units.In_bits.t -> t -> (Z.t * Z.t) -> t

val inter_bvset : size:Units.In_bits.t -> t -> Stdlib__Set.Make(Z).t -> t