Module type Functor2.XF

Parameters

module Y : S
module Z : S

Signature

type y_t = Y.t
type z_t = Z.t
type x_t = y_t