Parameter Make.1-Config

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