Module 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