module Xml_wrap: sig .. end
sig
end
module type T = sig .. end
module NoWrap: T with type 'a t = 'a
T
with type 'a t = 'a