Module type Poly_types.T5

Quinary type functions (5 type parameters).

type (_, _, _, _, _) t