Module `Memory_domains.Fully_expanded_finite_region`

module type Enumerable_offset = sig ... end

module Make_Block
  (Offset : Enumerable_offset)
  (Value : Memory_sig.VALUE with module Scalar = Offset.Scalar) : 
  sig ... end

Module Memory_domains.Fully_expanded_finite_region