Config.For_bls12_377
val with_barrett_reduction_arbitrated : t Core.Lazy.t
val with_barrett_reduction_full : t Core.Lazy.t