module Make : functor (Xml : Xml_sigs.T with type ('a, 'b) W.ft = 'a -> 'b) -> Svg_sigs.Make(Xml).T with type +'a elt = Xml.elt and type +'a attrib = Xml.attribCreate a new implementation of Svg, using the given underlying Xml implementation. Will output a module of type Svg_sigs.T with the various type equalities.
module Wrapped_functions : functor (Xml : Xml_sigs.T with type ('a, 'b) W.ft = 'a -> 'b) -> Svg_sigs.Wrapped_functions with module Xml = XmlThe standard set of wrapped functions, when W.ft is the regular function.
module Make_with_wrapped_functions : functor (Xml : Xml_sigs.T) -> functor (C : Svg_sigs.Wrapped_functions with module Xml = Xml) -> Svg_sigs.Make(Xml).T with type +'a elt = Xml.elt and type +'a attrib = Xml.attribSimilar to Make but with a custom set of wrapped functions.