module MemVal: sig .. end
sig
end
module type State = sig .. end
module type Value = sig .. end
module Make: functor (V : Value) -> Wp.Sigs.Model
functor (
V
:
Value
) ->
Wp.Sigs.Model
module Eva: Value
The glue between WP and EVA.