Domains.Fully_expanded_finite_region
module type Enumerable_offset = sig ... end
module Memory (Offset : Enumerable_offset) (Value : Memory_sig.Value) (Lift : sig ... end) : sig ... end