Module Mmem


module Mmem: sig .. end
Factorisation of functions for load/store memory models

module type Mm_sig = sig .. end
This is what we need from the memory model to define further operations
module MT: 
functor (M : Mm_sig) -> sig .. end
module MM: 
functor (M : Mm_sig) -> sig .. end