Module type Adder_intf.S

module Make (Num_bits : Num_bits.S) : sig ... end