Region_numeric_offset.Make
module Scalar : Domain_sig.Base
module Offset : sig ... end
include Memory_sig.Offset_Memory_domain with module Offset := Offset
module Memory
(Value : Memory_sig.Value)
(Lift :
Memory_sig.Value_to_offset
with module Value := Value
and module Offset := Offset) :
Memory_sig.Region
with module Value = Value
and module Offset = Offset
and type boolean = Value.boolean