module Eliom_duce: sig .. end

module type XhtmlFormsSig = Eliom_mkforms.ELIOMFORMSIG  with  type form_content_elt = form_content  and type form_content_elt_list = {{ [ form_content* ] }}  and type form_elt = form  and type a_content_elt = a_content  and type a_content_elt_list = {{ [ a_content* ] }}  and type a_elt = a  and type a_elt_list = {{ [ a* ] }}  and type div_content_elt = div_content  and type div_content_elt_list = flows  and type uri = string  and type link_elt = link  and type script_elt = script  and type textarea_elt = textarea  and type input_elt = input  and type pcdata_elt = {{ [ PCDATA ] }}  and type select_elt = select  and type select_content_elt = select_content  and type select_content_elt_list = {{ [ select_content* ] }}  and type button_elt = button  and type button_content_elt = button_content  and type button_content_elt_list = {{ [ button_content* ] }}  and type option_elt = option  and type option_elt_list = {{ [ option* ] }}  and type a_attrib_t = a_attrs  and type form_attrib_t =      {{ attrs ++ { accept-charset=?String accept=?String                  onreset=?String onsubmit=?String enctype=?String } }}  and type input_attrib_t = input_attrs  and type textarea_attrib_t = {{ attrs ++ focus ++        { onchange=?String              onselect=?String            readonly=?"readonly"              disabled=?"disabled"            name=?String } }}  and type select_attrib_t = select_attrs  and type link_attrib_t = link_attrs  and type script_attrib_t =      {{ id ++ { defer=?"defer" src=?String charset=?String } }}  and type optgroup_attrib_t = {{ attrs ++ { disabled=?"disabled" } }}  and type option_attrib_t = option_attrs  and type button_attrib_t = button_attrs  and type input_type_t = input_type_values  and type button_type_t = button_type_values

module type XhtmlSig = sig .. end

module Xhtml: XhtmlSig  with type page = html

module Xhtmlforms: XhtmlFormsSig 

module Xml: XhtmlSig  with type page = Ocamlduce.Load.anyxml

module Xmllist: XhtmlSig  with type page = Ocamlduce.Load.anyxml list

module Blocks: XhtmlSig  with type page = blocks

module SubXhtml: 
functor (T : sig
type content 
val print : (string -> unit) -> content -> unit
end) -> XhtmlSig  with type page = T.content