module Set_intf: sig .. end
sig
end
module type Elt = sig .. end
module type Types = sig .. end
module Gen:
functor (
T
:
Types
) ->
module type S = sig .. end
module type S1 = sig .. end
module type Gen = sig .. end
module Check_S:
M
S
module Check_S1:
S1