module MemVar: sig .. end
sig
end
module type VarUsage = sig .. end
module Make: functor (V : VarUsage) -> functor (M : Wp.Sigs.Model) -> Wp.Sigs.Model
functor (
V
:
VarUsage
) ->
M
Wp.Sigs.Model