Nested.F
This is a functor F.
Some additional comments.
module Arg1 : Nested.Y
module Arg2 : sig ... end
type t = Arg1.t * Arg2.t
Some type.