Parameter `Make.4-Endo`

val base : Impl.Field.Constant.t

val scalar : G.Constant.Scalar.t