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