Module Hoare_mem


module Hoare_mem: sig .. end
Memory Model for Hoare.

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