Module type Poly_types.T4

Quaternary type functions (4 type parameters).

type (_, _, _, _) t