module Create_sig: functor (T : T2) -> functor (Key : T1) -> sig .. end
functor (
T
:
T2
) ->
Key
T1
sig
end
module type S = sig .. end