Module Xml_wrap

module Xml_wrap: sig .. end

module type T = sig .. end
module type NoWrap = T  with type 'a t = 'a
     and type 'a tlist = 'a list
     and type (-'a, 'b) ft = 'a -> 'b
module NoWrap: NoWrap