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