Module MemEmpty

module MemEmpty: sig .. end

include Memory.Model