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