Module `2-G.Params`

val a : Impl.Field.Constant.t

val b : Impl.Field.Constant.t