Ground_multiplier.For_testing
val long_multiplication_with_addition : (module Hardcaml.Comb.S with type t = 'a) -> pivot:'a -> 'a -> 'a
val specialized_43_bit_multiply : (module Hardcaml.Comb.S with type t = 'a) -> 'a -> 'a -> 'a