module Monomorphic: functor (T : T2) -> functor (Key : T0) -> sig .. end
functor (
T
:
T2
) ->
Key
T0
sig
end
module T: sig .. end
module Key1: sig .. end
module type S = sig .. end