module V: functor (V : T) -> functor (T : T) -> sig .. end
functor (
V
:
T
) ->
sig
end
module type S = sig .. end