Make.2-B
val params : Impl.field Sponge.Params.t
val to_the_alpha : Impl.field -> Impl.field
module Operations : sig ... end