Module Karatsuba_ofman_mult.With_interface

Similar to hierarchical above, but with interfaces.

Parameters

module M : sig ... end

Signature

module I : sig ... end
module O : sig ... end