Sig.Binary_Conversions
val binary_to_ival : signed:bool -> size:int -> binary -> Framac_ival.Ival.t
val binary_is_singleton : size:int -> binary -> Z.t option
val binary_is_empty : size:int -> binary -> bool
val binary_fold_crop :
size:int ->
binary ->
inf:Z.t ->
sup:Z.t ->
'a ->
(Z.t -> 'a -> 'a) ->
'a
val binary_to_known_bits : size:int -> binary -> Lattices.Known_Bits.t