Module type Uint.Str_conv_sig

module type Str_conv_sig = sig .. end

module type UintSig = sig .. end
module type S = sig .. end
module Make: 
functor (U : UintSig) -> S with type t = U.t