Module MemEmpty

module MemEmpty: sig .. end

include Sigs.Model