Domains.Lift_integer_domain_to_binary_domain
module Make
(I : Domain_sig.Base_with_integer) :
Domain_sig.Base_with_integer
with type binary = I.integer * size
and type boolean = I.boolean
and type integer = I.integer
and module Context = I.Context
and module Integer_Lattice = I.Integer_Lattice