Parameter `Make.3-Params`

val params : (Impl.Field.t * Impl.Field.t) Tuple_lib.Quadruple.t array