Module MemRegion

module MemRegion: sig .. end

include Sigs.Model