X (Functor2.X)

Parameters

module 
      Y
       : S

module 
      Z
       : S

Signature

type y_t
       = Y.t

type z_t
       = Z.t

type x_t
       = y_t