Typed.Bitv
module type Width = sig ... end
module type S = sig ... end
module Make (W : Width) : S with type w = W.w