module Components: sig end
sig end
module type G = sig end
scc
module Make: functor (G : G) -> sig end
functor (G : G) -> sig end