X (Functor2.X)

Parameters

module 
      Y
       : Functor2.S

module 
      Z
       : Functor2.S

type y_t
       = Y.t

type z_t
       = Z.t

type x_t
       = y_t