Module Nested.F

This is a functor F.

Some additional comments.

Parameters

Signature

Type

type t = Arg1.t * Arg2.t

Some type.