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. *