Typesafe constructors for HTML5 documents (Functorial interface)
module Make
(Xml : Xml_sigs.T)
(Svg : Svg_sigs.T with module Xml := Xml) :
Html5_sigs.Make(Xml)(Svg).T
with type +'a elt = Xml.elt
and type +'a attrib = Xml.attribmodule MakeWrapped
(W : Xml_wrap.T)
(Xml :
Xml_sigs.Wrapped
with type 'a wrap = 'a W.t
and type 'a list_wrap = 'a W.tlist)
(Svg : Svg_sigs.T with module Xml := Xml) :
Html5_sigs.MakeWrapped(W)(Xml)(Svg).T
with type +'a elt = Xml.elt
and type +'a attrib = Xml.attribLike the Html5_f.Make functor, but allows to wrap elements inside a monad described by Xml_wrap.T. See the functorial interface documentation for more details.