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