Barrett_mult.Config
type t = {
multiplier_config : Karatsuba_ofman_mult.Config.t;
barrett_reduction_config : Barrett_reduction.Config.t;
}