Module type Bram_reduce.Config

val p : Z.t
val adder_stages : int
val num_bits : int
val error_bits : int