module Core_map_intf: sig .. end
sig
end
module type Key = sig .. end
module type Types = sig .. end
module Gen: functor (T : Types) -> sig .. end
functor (
T
:
Types
) ->
module type S = sig .. end
module type S2 = sig .. end
module type Gen = sig .. end
module Check_S: functor (M : S) -> M
M
S
module Check_S2: functor (M : S2) -> M
S2