Module Hoare_mem


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

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