Module Store_mem


module Store_mem: sig .. end
Memory Model with separation

module WpLog: Wp_parameters
module Create: 
functor (D : Mdata.S) ->
functor (A : Mint.S with module D = D) ->
functor (R : Mfloat.S with module D = D) -> sig .. end