module Oper: sig end
sig end
module type S = sig end
module Make: functor (G : Sig.G) -> functor (B : sig end) -> sig end
functor (G : Sig.G) -> functor (B : sig end) -> sig end
module P: functor (G : Sig.P) -> sig end
functor (G : Sig.P) -> sig end
module I: functor (G : Sig.I) -> sig end
functor (G : Sig.I) -> sig end