Module type Poly_types.T2

Binary type functions (2 type parameters).

type (_, _) t