Module Wp.MemVal

module type State = sig ... end
module type Value = sig ... end
module Make (V : Value) : Sigs.Model
module Eva : Value

The glue between WP and EVA. *