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