Parameter Make.3-Params

val a : BaseField.t
val b : BaseField.t